عنوان
پدید آورنده
موضوع
رده
QA76.76 .D47,V36 1991
QA76
.
76
.
D47
,
V36
1991
کتابخانه
محل استقرار
شابک
شابک
3540548343
شابک
0387548343
شابک
3540548688
شابک
0387548688
شماره کتابشناسی ملی
کد کشور
IR
شماره
EB18719
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
VDM '91
نام عام مواد
[Electronic Resource]
ساير اطلاعات عنواني
:formal software development methods : 4th international symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 : proceedings
نام نخستين پديدآور
/ S. Prehn, W.J. Toetenel (eds.)
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin ; New York
نام ناشر، پخش کننده و غيره
: Springer-Verlag,
تاریخ نشرو بخش و غیره
, c1991.
مشخصات ظاهری
نام خاص و کميت اثر
2 v.
ساير جزييات
:ill. 24 cm.
فروست
عنوان فروست
(Lecture notes in computer science
مشخصه جلد
; 551-552)
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
e
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
ng
متن يادداشت
Includes bibliographical references and index.
یادداشتهای مربوط به مندرجات
متن يادداشت
v. 1. Conference contributions -- v. 2. Tutorials.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer software- Development- Congresses
رده بندی ديویی
شماره
005
.
1
رده بندی کنگره
شماره رده
QA76
.
76
نشانه اثر
.
D47
,
V36
1991
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
VDM '91(1991 :Noordwijkerhout, Netherlands)
نام شخص - ( مسئولیت معنوی درجه دوم )
مستند نام اشخاص تاييد نشده
Prehn, S.(Soren),1955-
مستند نام اشخاص تاييد نشده
Toetenel, W. J.,1953-
مستند نام اشخاص تاييد نشده
VDM-Europe
مبدا اصلی
کشور
ایران
دسترسی و محل الکترونیکی
نام ميزبان
0333992814.pdf
شماره دسترسي
محرمانه
اطلاعات مختصر
محرمانه
تاريخ و ساعت مذاکره و دسترسي
0333992814.pdf
بيت در ثانيه
0
نوع فرمت الکترونيکي
متن
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
وضعیت انتشار
فرمت انتشار
e
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
