نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
انتخاب زبان
فارسی
English
العربی
عنوان
Mathematical logic and programming languages
پدید آورنده
edited by C.A.R. Hoare and J.C. Shepherdson
موضوع
، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده
QA
76
.
6
.
M3646
1985
کتابخانه
كتابخانه پردیس علوم دانشگاه تهران
محل استقرار
استان:
تهران
ـ شهر:
تهران
تماس با کتابخانه :
61112616
-
66495290
-
021
شناسگر استاندارد دیگر
شماره استاندارد
65439w
شماره استاندارد
65462
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
عنوان اصلي
Mathematical logic and programming languages
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Englewood Cliffs, N.J.
نام ناشر، پخش کننده و غيره
Prentice/Hall International
تاریخ نشرو بخش و غیره
1985
مشخصات ظاهری
نام خاص و کميت اثر
184 p. : ill. ; 25 cm
فروست
عنوان فروست
Prentice Hall International series in computer science
يادداشت کلی
متن يادداشت
The papers in this book were first published in the Philosophical transactions of the Royal Society, Series A, volume 312, 1984
متن يادداشت
Includes bibliographies
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
edited by C.A.R. Hoare and J.C. Shepherdson
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Programming languages )Electronic computers(
عنصر شناسه ای
، Logic, Symbolic and mathematical
رده بندی کنگره
شماره رده
QA
76
.
6
.
M3646
1985
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
TI
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU drahciR ynotnA selrahC ,eraoH ed. 1934-
عنصر شناسه اي
AU .C .J ,nosdrehpehS
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
تموجود نیس
نحوه قرار گرفتن مدرك روي قفسه
یاضه ریه دانشکدانابخکت
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد