عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
TAP Soft T' 85: Proceedings of the international joint conference on theory and practice of software development )TAPSOFT(, Berlin, March 25-29, 1985
پدید آورنده
edited by Hartmut Ehrig ...]et al[
موضوع
Congresses ، Computer software - Development
رده
QA
76
.
L4
v
.
185-186
کتابخانه
المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان
محل استقرار
استان:
کرمان
ـ شهر:
کرمان
تماس با کتابخانه :
03433257204
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(
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح