عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Computer Aided Verification
پدید آورنده
/ Daniel Kroening, Corina S. Psreanu
موضوع
COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده
E-BOOK
کتابخانه
المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية
محل استقرار
استان:
أذربایجان الشرقیة
ـ شهر:
تماس با کتابخانه :
04133443834
9783319216683
IR
EN-5247
انگلیسی
IR
Computer Aided Verification
[Book]
/ Daniel Kroening, Corina S. Psreanu
Springer
, 2015.
Electronic
COMPUTER SCIENCE, SOFTWARE ENGINEERING
E-BOOK
Daniel Kroening
ایران
Computer Aided Verification
عادی
محرمانه
932164.pdf
متن
old catalog
e
BL
1
a
Y
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح