خرید و دانلود نسخه کامل کتاب Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings

فناوری خودکار برای تأیید و تجزیه و تحلیل: پانزدهمین سمپوزیوم بین المللی، ATVA 2017، پونا، هند، 3 تا 6 اکتبر 2017، مجموعه مقالات

Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings

نویسنده: Deepak D’Souza, K. Narayan Kumar (eds.)

ناشر: Springer International Publishing

سال انتشار: 2017

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

زبان: English

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

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