خرید و دانلود نسخه کامل کتاب Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings

نرم افزار بررسی مدل: بیست و نهمین سمپوزیوم بین المللی، SPIN 2023، پاریس، فرانسه، 26-27 آوریل 2023، مجموعه مقالات

Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings

نویسنده: Georgiana Caltais, Christian Schilling

ناشر: Springer

سال انتشار: 2023

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

زبان: English

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

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