عنوان
پدید آورنده
موضوع
رده
QA 76.76 .D47
QA
76
.
76
.
D47
کتابخانه
محل استقرار
شماره کتابشناسی ملی
کد کشور
IR
شماره
69843
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
An introduction to formal specification and Z
نام عام مواد
[Book]
نام نخستين پديدآور
/ Ben Potter, Jane Sinclair, David Till
وضعیت ویراست
وضعيت ويراست
2nd ed
وضعیت نشر و پخش و غیره
تاریخ نشرو بخش و غیره
1996
مشخصات ظاهری
نام خاص و کميت اثر
xiv, 434 p.
ساير جزييات
:ill.
ابعاد
;24 cm.
فروست
عنوان فروست
Prentice-Hall international series in computer science
يادداشت کلی
متن يادداشت
English
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references )p. 414-418( and index
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer software - Geotools ــ Development
موضوع مستند نشده
Z )Computer program language( ــ Development
رده بندی کنگره
شماره رده
QA
76
.
76
نشانه اثر
.
D47
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Potter, Ben
نام شخص - ( مسئولیت معنوی درجه دوم )
مستند نام اشخاص تاييد نشده
Sinclair, Jane
مستند نام اشخاص تاييد نشده
Till, David
مبدا اصلی
کشور
Iran
سازمان
University of Tehran. Library of the Institute of Geophysics
وضعیت فهرست نویسی
وضعیت فهرست نویسی
Old cataloging
وضعیت انتشار
فرمت انتشار
p
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
تكميل شده
Y
