خرید و دانلود نسخه کامل کتاب Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

تأیید به کمک رایانه: بیست و نهمین کنفرانس بین المللی، CAV 2017، هایدلبرگ، آلمان، 24-28 ژوئیه، 2017، مجموعه مقالات، قسمت دوم

Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

نویسنده: Kunčak, Viktor; Majumdar, Rupak

ناشر: Springer International Publishing

سال انتشار: 2017

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

زبان: English

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

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