خرید و دانلود نسخه کامل کتاب Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015 Shanghai, China, October 12–15, 2015, Proceedings

فناوری خودکار برای تأیید و تحلیل: سیزدهمین سمپوزیوم بین المللی ، ATVA 2015 شانگهای ، چین ، 12 تا 15 اکتبر 2015 ، مجموعه مقالات

Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015 Shanghai, China, October 12–15, 2015, Proceedings

نویسنده: Bernd Finkbeiner, Geguang Pu, Lijun Zhang (eds.)

ناشر: Springer International Publishing

سال انتشار: 2015

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

زبان: English

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

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