عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Software prototyping, formal methods, and VDM
پدید آورنده
Hekmatpour, Sharam, 1691-
موضوع
، Computer software- Development
رده
کتابخانه
كتابخانه پژوهشگاه نیرو
محل استقرار
استان:
طهران
ـ شهر:
طهران
تماس با کتابخانه :
9
-
88079401
-
021
6820
Hekmatpour, Sharam, 1691-
Software prototyping, formal methods, and VDM
Wokingham, Eng.
Addison- Wesley
c1988
x, 222 p. ;24 cm
International computer science series
Includes index
Bibliography: p. 138- 153.
، Computer software- Development
005
.
1/1
QA
76
.
76
.
D47H44
1988
AU
Sharam Hekmatpour, Darrel Ince
TI
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح