خرید و دانلود نسخه کامل کتاب Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings

فناوری خودکار برای تأیید و تحلیل: یازدهمین سمپوزیوم بین المللی ، ATVA 2013 ، هانوی ، ویتنام ، 15 تا 18 اکتبر 2013. مجموعه مقالات

Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings

نویسنده: Jérôme Leroux (auth.), Dang Van Hung, Mizuhito Ogawa (eds.)

ناشر: Springer International Publishing

سال انتشار: 2013

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

زبان: English

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

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