خرید و دانلود نسخه کامل کتاب Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

نرم افزار چک کردن مدل: بیست و سومین سمپوزیوم بین المللی ، SPIN 2016 ، همزمان با ETAPS 2016 ، آیندهوون ، هلند ، 7-8 آوریل 2016 ، مجموعه مقالات

Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

نویسنده: Dragan Bošnački, Anton Wijs (eds.)

ناشر: Springer International Publishing

سال انتشار: 2016

تعداد صفحات: 260

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 11 مگابایت