Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
تاريخ النشر: 27/07/2015
الناشر: Springer
ترجمة: Daniel Kroening
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 704
مجلدات: 1
يحتوي على: صور/رسوم
ردمك: 9783319216898