Hardware and Software: Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Procee
تاريخ النشر: 31/10/2013
الناشر: Springer
ترجمة: Valeria Bertacco
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 388
مجلدات: 1
يحتوي على: صور/رسوم
ردمك: 9783319030760