عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
20, 2011. Proceedings-NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18
پدید آورنده
/ K. Rustan M. Leino (auth.), Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (eds.)
موضوع
COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده
E-BOOK
کتابخانه
المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية
محل استقرار
استان:
أذربایجان الشرقیة
ـ شهر:
تماس با کتابخانه :
04133443834
IR
EN-26498
انگلیسی
IR
20, 2011. Proceedings-NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18
[Book]
/ K. Rustan M. Leino (auth.), Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (eds.)
Verlag Berlin Heidelberg-Springer
, 2011.
Electronic
COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
E-BOOK
K. Rustan M. Leino (auth.)
ایران
NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings
عادی
محرمانه
1560376.pdf
متن
old catalog
e
BL
1
a
Y
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح