عنوان
پدید آورنده
موضوع
رده
QA 76.76 .D47 P68 1991
QA
76
.
76
.
D47
P68
1991
کتابخانه
محل استقرار
استان: خراسان رضوی ـ شهر: مشهد
شناسگر استاندارد دیگر
شماره استاندارد
19290
عنوان و نام پديدآور
نام نخستين پديدآور
Potter, Ben.
عنوان اصلي
An introduction to formal specification and Z
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York
نام ناشر، پخش کننده و غيره
Prentice Hall
تاریخ نشرو بخش و غیره
1991
مشخصات ظاهری
نام خاص و کميت اثر
xiii, 304p
فروست
عنوان فروست
Prentice Hall international series in computer science
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
Ben Potter, Jane Sinclair, David Till
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Development ، Computer software
عنصر شناسه ای
، Z )Computer program language(
رده بندی کنگره
شماره رده
QA
76
.
76
.
D47
P68
1991
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU Sinclair, Jane
عنصر شناسه اي
AU Till, David
عنصر شناسه اي
TI
عنصر شناسه اي
SE
شماره دستیابی
پسوند شماره بازيابي
CL
