خرید و دانلود نسخه کامل کتاب Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

فناوری خودکار برای تأیید و تجزیه و تحلیل: شانزدهمین سمپوزیوم بین المللی، ATVA 2018، لس آنجلس، CA، ایالات متحده آمریکا، 7-10 اکتبر 2018، مجموعه مقالات

Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

نویسنده: Shuvendu K. Lahiri, Chao Wang

ناشر: Springer International Publishing

سال انتشار: 2018

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

زبان: English

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

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