Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
تاريخ النشر: 13/07/2017
الناشر: Springer
ترجمة: Rupak Majumdar
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 624
مجلدات: 1
يحتوي على: صور/رسوم
ردمك: 9783319633862