خرید و دانلود نسخه کامل کتاب Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings

تأیید کمک به رایانه: بیست و پنجمین کنفرانس بین المللی ، CAV 2013 ، سن پترزبورگ ، روسیه ، 13-19 ژوئیه 2013. مجموعه مقالات

Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings

نویسنده: Laura Kovács, Andrei Voronkov (auth.), Natasha Sharygina, Helmut Veith (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2013

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

زبان: English

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

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