خرید و دانلود نسخه کامل کتاب Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

تأیید به کمک رایانه: بیست و هشتمین کنفرانس بین المللی، CAV 2016، تورنتو، ON، کانادا، 17-23 ژوئیه، 2016، مجموعه مقالات، قسمت دوم

Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

نویسنده: Swarat Chaudhuri, Azadeh Farzan (eds.)

ناشر: Springer International Publishing

سال انتشار: 2016

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

زبان: English

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

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