عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Computer Aided Verification
پدید آورنده
/ Tayssir Touili, Byron Cook, Paul Jackson
موضوع
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده
E-BOOK
کتابخانه
المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية
محل استقرار
استان:
أذربایجان الشرقیة
ـ شهر:
تماس با کتابخانه :
04133443834
9783642142956
IR
EN-45329
انگلیسی
IR
Computer Aided Verification
[Book]
/ Tayssir Touili, Byron Cook, Paul Jackson
Springer
, 2010.
Electronic
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
E-BOOK
Tayssir Touili
ایران
Computer Aided Verification
محرمانه
محرمانه
971552.pdf
متن
old catalog
e
BL
1
a
Y
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح