عنوان
پدید آورنده
موضوع
رده
005.131 S471
005
.
131
S471
کتابخانه
محل استقرار
شابک
شابک
2-88124-935-3
شماره کتابشناسی ملی
کد کشور
IR
شماره
3696
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Semantics of programming languages and model theory
نام عام مواد
[Book]
نام نخستين پديدآور
/ edited by Manfred droste and yuri gurevich
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Switzerland
نام ناشر، پخش کننده و غيره
: gordon and breach science
تاریخ نشرو بخش و غیره
, 1993.
مشخصات ظاهری
نام خاص و کميت اثر
v.
فروست
عنوان فروست
(Algebra, Logic, and applications
مشخصه جلد
; V.5)
يادداشت کلی
متن يادداشت
Language: انگلیسی
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
Print
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes biblio and Index
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Programming languages (Electronic Computers)-- Semantics
رده بندی ديویی
شماره
005
.
131
نشانه اثر
S471
نام شخص - ( مسئولیت معنوی درجه دوم )
مستند نام اشخاص تاييد نشده
Droste, Manfred، 1956-
مستند نام اشخاص تاييد نشده
Gurevich, Yuri
مبدا اصلی
کشور
ایران
سازمان
دانشگاه اراک
شماره دستیابی
شماره بازیابی
005.131 S471
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
وضعیت انتشار
فرمت انتشار
p
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
