خرید و دانلود نسخه کامل کتاب Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

فناوری خودکار برای تأیید و تجزیه و تحلیل: چهاردهمین سمپوزیوم بین المللی ، ATVA 2016 ، چیبا ، ژاپن ، 17-20 اکتبر 2016 ، مجموعه مقالات

Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

نویسنده: Cyrille Artho, Axel Legay, Doron Peled (eds.)

ناشر: Springer International Publishing

سال انتشار: 2016

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

زبان: English

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

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