خرید و دانلود نسخه کامل کتاب Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings

تأیید صحت رایانه: بیست و دومین کنفرانس بین المللی ، CAV 2010 ، ادینبورگ ، انگلیس ، 15-19 ژوئیه ، 2010. مجموعه مقالات

Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings

نویسنده: David Basin, Felix Klaedtke, Samuel Müller (auth.), Tayssir Touili, Byron Cook, Paul Jackson (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2010

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

زبان: English

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

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