خرید و دانلود نسخه کامل کتاب Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings

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

Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings

نویسنده: Fritz Henglein; Sharon Shoham; Yakir Vizel

ناشر: Springer

سال انتشار: 2021

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

زبان: English

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

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