خرید و دانلود نسخه کامل کتاب Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

نرم افزار بررسی مدل: 22 سمپوزیوم بین المللی، SPIN 2015، Stellenbosch، آفریقای جنوبی، 24 تا 26 آگوست 2015، Proceedings

Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

نویسنده: Bernd Fischer, Jaco Geldenhuys (eds.)

ناشر: Springer International Publishing

سال انتشار: 2015

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

زبان: English

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

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