عنوان
پدید آورنده
موضوع
رده
QA 76.7 .M34 1986
QA
76
.
7
.
M34
1986
کتابخانه
محل استقرار
شابک
شابک
0387963243
شماره کتابشناسی ملی
کد کشور
IR
شماره
2402
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Algebraic approaches to program semantics
نام عام مواد
[Book]
نام نخستين پديدآور
/ Ernest G. Manes, Michael A. Arbib
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York
نام ناشر، پخش کننده و غيره
: Springer-Verlag
تاریخ نشرو بخش و غیره
, 1986.
مشخصات ظاهری
نام خاص و کميت اثر
xiii, 351 p.
ساير جزييات
: ill.
ابعاد
; 25 cm
فروست
عنوان فروست
(The AKM series in theoretical computer science)
عنوان فروست
(Texts and monographs in computer science)
يادداشت کلی
متن يادداشت
Language: English
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographies and indexes
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Programming languages (Electronic computers) -- Semantics
موضوع مستند نشده
Algebra
رده بندی کنگره
شماره رده
QA
76
.
7
نشانه اثر
.
M34
1986
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Manes, Ernest G, 1943-
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Arbib, Michael A, joint auth
مبدا اصلی
کشور
Iran
سازمان
University of Tehran. College of Science Library
شماره دستیابی
شماره بازیابی
QA 76.7 .M34 1986
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
