عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Temporal logic of programs
پدید آورنده
KROGER,FRED
موضوع
ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , LOGIC,SYMBOLIC & MATHEMATICAL
رده
QA
76
.
6
.
K753
کتابخانه
محل استقرار
استان:
طهران
ـ شهر:
طهران
تماس با کتابخانه :
۶۶۴۰۷۴۱۸(۰۲۱) – ۶۴۵۴۲۳۴۹(۰۲۱)
CE Y1
KROGER,FRED
Temporal logic of programs
1987
ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
LOGIC,SYMBOLIC & MATHEMATICAL
QA
76
.
6
.
K753
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح