عنوان
پدید آورنده
موضوع
رده
QA 76.73 .Z2 B68 1996
QA
76
.
73
.
Z2
B68
1996
کتابخانه
محل استقرار
اطلاعات محلی رکورد
نوع مدرک
CE O1
عنوان و نام پديدآور
نام نخستين پديدآور
Bowen, Jonathan
عنوان اصلي
Formal specification and documentation using Z : a case study approach
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
London
نام ناشر، پخش کننده و غيره
International Thomson Computer Press
تاریخ نشرو بخش و غیره
1996
مشخصات ظاهری
نام خاص و کميت اثر
xvi, 302 p. : ill
يادداشت کلی
متن يادداشت
Includes bibliographical refernces )p. 253-284( and index
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Z )Computer program language(
عنصر شناسه ای
Computer software - Development
رده بندی کنگره
شماره رده
QA
نشانه اثر
76
.
73
شماره رکورد رده بندي
.
Z2
B68
شماره رکورد غير از شماره رده بندي
1996
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
Jonathan Bowen
