خرید و دانلود نسخه کامل کتاب Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings

فناوری خودکار برای تأیید و تجزیه و تحلیل: چهارمین سمپوزیوم بین المللی، ATVA 2006، پکن، چین، 23-26 اکتبر 2006. مجموعه مقالات

Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings

نویسنده: Mihalis Yannakakis (auth.), Susanne Graf, Wenhui Zhang (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2006

تعداد صفحات: 546 [550]

زبان: English

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

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