عنوان
پدید آورنده
موضوع
رده
QA 76 .L4 v.185-186
QA
76
.
L4
v
.
185-186
کتابخانه
محل استقرار
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
عنوان اصلي
TAP Soft T' 85: Proceedings of the international joint conference on theory and practice of software development )TAPSOFT(, Berlin, March 25-29, 1985
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
Springer-Verlag
تاریخ نشرو بخش و غیره
1985
مشخصات ظاهری
نام خاص و کميت اثر
2v.
ساير جزييات
185
ساير جزييات
185
ساير جزييات
186
فروست
ساير اطلاعات عنواني
Lecture notes in Conputer Science, 581-681
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
edited by Hartmut Ehrig ...]et al[
یادداشت های مربوط به نسخه اصلی
متن يادداشت
1
متن يادداشت
2
متن يادداشت
1
یادداشتهای مربوط به مندرجات
متن يادداشت
v.1 )581(: mathematical foundations of software development.- v.2 )681(: Formal methods and software development
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Congresses ، Computer software - Development
رده بندی کنگره
شماره رده
QA
76
.
L4
v
.
185-186
سایر رده بندی ها
شماره رده
CA
شماره رده
620
.
1/064
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU Ehrig, Hartmut
عنصر شناسه اي
TI
عنصر شناسه اي
TI Mathematical foundations of software development
عنصر شناسه اي
TI Formal methods and software development
عنصر شناسه اي
SE
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
International Joint Cpnference on Theory and Practice of Software Development )1985: Berlin(
