خرید و دانلود نسخه کامل کتاب Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings

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

Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings

نویسنده: Franck Cassez, Jean-François Raskin (eds.)

ناشر: Springer International Publishing

سال انتشار: 2014

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

زبان: English

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

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