2008 Formal Methods in Computer-aided Design

2008 Formal Methods in Computer-aided Design

Alessandro Cimatti , Institute of Electrical and Electronics Engineers

لا توجد تقييمات بعد

2008 · الإنجليزية · غلاف ورقي

أضف إلى الرف

قيم هذا الكتاب

تصدير مجلة الكتاب

تفاصيل الكتاب

تنسيق غلاف ورقي

صفحات 230 صفحات

لغة الإنجليزية

منشور يناير 1, 2008

الناشر IEEE

رقم ISBN-10 1424427355

رقم ISBN-13 9781424427352

أضف إلى الرف

قيم هذا الكتاب

تصدير مجلة الكتاب