خرید و دانلود نسخه کامل کتاب Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings

تأیید به کمک رایانه: بیست و سومین کنفرانس بین المللی ، CAV 2011 ، Snowbird ، UT ، ایالات متحده آمریکا ، 14 تا 20 ژوئیه 2011. مجموعه مقالات

Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings

نویسنده: Vijay Ganesh, Adam Kieżun, Shay Artzi, Philip J. Guo (auth.), Ganesh Gopalakrishnan, Shaz Qadeer (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2011

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

زبان: English

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

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