خرید و دانلود نسخه کامل کتاب Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings

تأیید، بررسی مدل، و تفسیر چکیده: هجدهمین کنفرانس بین المللی، VMCAI 2017، پاریس، فرانسه، 15 تا 17 ژانویه 2017، مجموعه مقالات

Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings

نویسنده: Ahmed Bouajjani, David Monniaux (eds.)

ناشر: Springer International Publishing

سال انتشار: 2017

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

زبان: English

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

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