عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.1212
QA
76
.
L28
Vol
.
1212
کتابخانه
محل استقرار
عنوان و نام پديدآور
عنوان اصلي
ZUM'97 : the z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings
وضعیت ویراست
نام نخستين ويراستار
10th: 1997: UK
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
Springer-Verlag
تاریخ نشرو بخش و غیره
c1997
مشخصات ظاهری
نام خاص و کميت اثر
x, 433 p. : ill., tables
فروست
ساير اطلاعات عنواني
Lecture notes in computer science; 2121
يادداشت کلی
متن يادداشت
Includes bibliographies
متن يادداشت
ISBN 3540627170
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
Jonathan P. Bowen, Michael G. Hinchey, David Till )eds.(
یادداشت های مربوط به نسخه اصلی
متن يادداشت
1
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Congresses ، Z )Computer program language(
رده بندی کنگره
شماره رده
QA
76
.
L28
Vol
.
1212
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU Bowen, Jonathan Peter, 1956-
عنصر شناسه اي
AU Hinchey, Michael Gerard, 1969-
عنصر شناسه اي
AU Till, David
عنصر شناسه اي
TI
عنصر شناسه اي
SE
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
International Conference of Z Users
