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

تایید صحت کامپیوتر: 22 کنفرانس بین المللی، 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

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

زبان: English

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

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