خرید و دانلود نسخه کامل کتاب Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings (Theoretical Computer Science and General Issues)

نرم افزار بررسی مدل: بیست و هفتمین سمپوزیوم بین المللی، SPIN 2021، رویداد مجازی، 12 جولای 2021، مجموعه مقالات (علوم کامپیوتر نظری و مسائل عمومی)

Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings (Theoretical Computer Science and General Issues)

نویسنده: Alfons Laarman (editor), Ana Sokolova (editor)

ناشر: Springer

سال انتشار: 2021

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

زبان: English

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

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