خرید و دانلود نسخه کامل کتاب Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings

نرم افزار چک کردن مدل: بیستمین سمپوزیوم بین المللی ، SPIN 2013 ، استونی بروک ، نیویورک ، ایالات متحده ، 8-9 ژوئیه ، 2013. مجموعه مقالات

Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings

نویسنده: Dirk Beyer, Philipp Wendler (auth.), Ezio Bartocci, C. R. Ramakrishnan (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2013

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

زبان: English

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

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