عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Scalable Techniques for Formal Verification
پدید آورنده
/ Sandip Ray
موضوع
ENGINEERING (uncategorised)|ENGINEERING, CIVIL|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE
رده
E-BOOK
کتابخانه
المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية
محل استقرار
استان:
أذربایجان الشرقیة
ـ شهر:
تماس با کتابخانه :
04133443834
9781441959980
IR
EN-43957
انگلیسی
IR
Scalable Techniques for Formal Verification
[Book]
/ Sandip Ray
Springer
, 2010.
Electronic
ENGINEERING (uncategorised)|ENGINEERING, CIVIL|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE
E-BOOK
Sandip Ray
ایران
Scalable Techniques for Formal Verification
محرمانه
محرمانه
161431.pdf
متن
old catalog
e
BL
1
a
Y
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح