خرید و دانلود نسخه کامل کتاب Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings

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

Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings

نویسنده: Amir Pnueli (auth.), Doron A. Peled, Yih-Kuen Tsay (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2005

تعداد صفحات: 508 [515]

زبان: English

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

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