عنوان
پدید آورنده
موضوع
رده
QA 76 .76 .D47 .V36 1991
QA
76
.
76
.
D47
.
V36
1991
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
97659
شماره استاندارد
97660
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
آخر۲۷
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام عام مواد
)20(
نام نخستين پديدآور
VDM '19 )1991: Noordwijkerhout, Netherlands(
عنوان اصلي
VDM '91 : formal software development methods : 4th international symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 : proceedings
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin, New York
نام ناشر، پخش کننده و غيره
Springer-Verlag
تاریخ نشرو بخش و غیره
1991
مشخصات ظاهری
نام خاص و کميت اثر
2 v. : ill. ; 24 cm
فروست
عنوان فروست
Lecture notes in computer science; 155-255
يادداشت کلی
متن يادداشت
Includes bibliographical references and index
یادداشتهای مربوط به مندرجات
متن يادداشت
v. 1. Conference contributions -- v. 2. Tutorials
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Computer software-- Development-- Congresses
رده بندی کنگره
شماره رده
QA
76
.
76
.
D47
.
V36
1991
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
S. Prehn, W.J. Toetenel )eds.(
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU (nerS).S ,nherP 1955-
عنصر شناسه اي
AU .J .W ,leneteoT 1953-
عنصر شناسه اي
CO Interntaional sympoisum of VDM Europe
عنصر شناسه اي
TI VDM 91; formal Software development methods
عنصر شناسه اي
SE
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
02
نحوه قرار گرفتن مدرك روي قفسه
02
