Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. P
(0)    
المرتبة: 456,709
تاريخ النشر: 26/12/2015
الناشر: Springer
ترجمة: Barbara Jobstmann
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 574
مجلدات: 1
يحتوي على: صور/رسوم
ردمك: 9783662491218