عنوان
پدید آورنده
موضوع
رده
QA 76 .P699 2000
QA
76
.
P699
2000
کتابخانه
محل استقرار
شابک
شابک
0262161885
شماره کتابشناسی ملی
کد کشور
IR
شماره
44447
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Proof, language, and interaction
نام عام مواد
[Book]
ساير اطلاعات عنواني
: essays in honour of Robin Milner
نام نخستين پديدآور
/ edited by Gordon Plotkin, Colin Stirling, and Mads Tofte
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cambridge, Mass
نام ناشر، پخش کننده و غيره
: MIT Press
تاریخ نشرو بخش و غیره
, 2000
مشخصات ظاهری
نام خاص و کميت اثر
xiv, 722 p.
ابعاد
; 24 cm
فروست
عنوان فروست
Foundations of computing
يادداشت کلی
متن يادداشت
English
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer science
رده بندی کنگره
شماره رده
QA
76
نشانه اثر
.
P699
2000
نام شخص - ( مسئولیت معنوی درجه دوم )
مستند نام اشخاص تاييد نشده
Milner, R
مستند نام اشخاص تاييد نشده
Plotkin, G, editor
مستند نام اشخاص تاييد نشده
Stirling, Colin P, editor
مستند نام اشخاص تاييد نشده
Tofte, Mads, editor
مبدا اصلی
کشور
Iran
سازمان
University of Tehran. Library of Technical Camp 2
وضعیت فهرست نویسی
وضعیت فهرست نویسی
Old cataloging
وضعیت انتشار
فرمت انتشار
p
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
تكميل شده
Y
