عنوان
پدید آورنده
موضوع
رده
QA 76.76 .D47
QA
76
.
76
.
D47
کتابخانه
محل استقرار
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
لاتين
عنوان و نام پديدآور
نام نخستين پديدآور
Ben Potter, Jane Sinclair, David Till
عنوان اصلي
An introduction to formal specification and Z
وضعیت ویراست
وضعيت ويراست
2nd ed
وضعیت نشر و پخش و غیره
تاریخ نشرو بخش و غیره
1996
مشخصات ظاهری
نام خاص و کميت اثر
xiv, 434 p. :ill. ;24 cm.
فروست
عنوان فروست
Prentice-Hall international series in computer science
یادداشتهای مربوط به بسته بندی و دسترس بودن اثر
متن يادداشت
مرجع به حساب نمي آيد
موضوع (اسم عام یاعبارت اسمی عام)
تقسیم فرعی موضوعی
tnempoleveD
عنصر شناسه ای
Computer software - Geotools
عنصر شناسه ای
Z )Computer program language(
رده بندی کنگره
شماره رده
QA
76
.
76
.
D47
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
مولف
کد نقش
Potter, Ben
نام شخص - ( مسئولیت معنوی درجه دوم )
عنصر شناسه اي
Till, David
عنصر شناسه اي
Sinclair, Jane
