عنوان
پدید آورنده
موضوع
رده
QA 76.73 .Z2 B67 1995
QA
76
.
73
.
Z2
B67
1995
کتابخانه
محل استقرار
اطلاعات محلی رکورد
نوع مدرک
CE O1
عنوان و نام پديدآور
نام نخستين پديدآور
Bottaci, Leonardo
عنوان اصلي
Formal specification using Z: a modelling approach
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
London
نام ناشر، پخش کننده و غيره
ITP
تاریخ نشرو بخش و غیره
1995
مشخصات ظاهری
نام خاص و کميت اثر
xii, 320 p.: ill
يادداشت کلی
متن يادداشت
Includes bibliographical references )p. 293-294( and index
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Z )Computer program language(
عنصر شناسه ای
Computer Software - Development
رده بندی کنگره
شماره رده
QA
نشانه اثر
76
.
73
شماره رکورد رده بندي
.
Z2
B67
شماره رکورد غير از شماره رده بندي
1995
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
Leonardo Bottaci, John Jones
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
English
