خرید و دانلود نسخه کامل کتاب Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings

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

Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings

نویسنده: Shuyuan Zhang, Sharad Malik, Rick McGeer (auth.), Supratik Chakraborty, Madhavan Mukund (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2012

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

زبان: English

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

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