• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه

عنوان
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

پیشنهاد / گزارش اشکال

اخطار! اطلاعات را با دقت وارد کنید
ارسال انصراف
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال