عنوان
پدید آورنده
موضوع
رده
QA76.6 .M3646 1985
QA76
.
6
.
M3646
1985
کتابخانه
محل استقرار
استان: آذربایجان شرقی ـ شهر: تبریز
شماره کتابشناسی ملی
کد کشور
IR
شماره
78-14516
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Mathematical logic and programming languages
نام عام مواد
[Book]
نام نخستين پديدآور
/ Edited by C. A. R. Hoare, J. C. Shepherdson
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Englewood Cliffs
نام ناشر، پخش کننده و غيره
: prentice Hall International
تاریخ نشرو بخش و غیره
, 1985.
مشخصات ظاهری
نام خاص و کميت اثر
184 p.
ساير جزييات
: ill.
ابعاد
; 25 cm
فروست
عنوان فروست
(Prentice Hall International series in computer science)
يادداشت کلی
متن يادداشت
Language: انگلیسی
متن يادداشت
"The papers in this book were first published in the philosophical transactions of the Royal society series A. Volume 312, 1984.
متن يادداشت
Includes bibliographies.
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
Print
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Programming languages (Electronic computers)
موضوع مستند نشده
Logic, symbolic and mathematical
رده بندی کنگره
شماره رده
QA76
.
6
نشانه اثر
.
M3646
1985
نام شخص - ( مسئولیت معنوی درجه دوم )
مستند نام اشخاص تاييد نشده
Hoare, C. A. R. (Charles Antony Richard)
مستند نام اشخاص تاييد نشده
Shepherdson, J. C
مستند نام اشخاص تاييد نشده
S
مبدا اصلی
کشور
ایران
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
وضعیت انتشار
فرمت انتشار
p
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
