نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
درباره پایگاه
ارتباط با ما
تاریخچه
عنوان
Computer programming and formal systems
پدید آورنده
/ Edited by P. Braffort and D. Hirschberg
موضوع
Computer programming -- Addresses, essays, lectures
رده
QA
76
.
B7
کتابخانه
كتابخانه پردیس علوم (دانشگاه تهران)
محل استقرار
استان:
تهران
ـ شهر:
تهران
تماس با کتابخانه :
61112616
-
66495290
-
021
شماره کتابشناسی ملی
کد کشور
IR
شماره
13075
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Computer programming and formal systems
نام عام مواد
[Book]
نام نخستين پديدآور
/ Edited by P. Braffort and D. Hirschberg
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Amsterdam
نام ناشر، پخش کننده و غيره
: North-Holland Pub. Co.
تاریخ نشرو بخش و غیره
, 1963.
مشخصات ظاهری
نام خاص و کميت اثر
vi, 161 p.
ساير جزييات
: illus. 22 cm
فروست
عنوان فروست
(Studies in logic and the foundations of mathematics)
يادداشت کلی
متن يادداشت
Language: English
متن يادداشت
Imprint covered by label: New York, Humanities Press
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographies
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer programming -- Addresses, essays, lectures
رده بندی کنگره
شماره رده
QA
76
نشانه اثر
.
B7
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Braffort, Paul
نام شخص - ( مسئولیت معنوی درجه دوم )
مستند نام اشخاص تاييد نشده
Hirschberg, David, joint ed
مبدا اصلی
کشور
Iran
سازمان
University of Tehran. College of Science Library
شماره دستیابی
شماره بازیابی
QA 76 .B7
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد