نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
انتخاب زبان
فارسی
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
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد