Model Checking Software : 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
تاريخ النشر: 03/09/2015
الناشر: Springer
ترجمة: Bernd Fischer
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 340
مجلدات: 1
يحتوي على: صور/رسوم
ردمك: 9783319234038