خرید و دانلود نسخه کامل کتاب Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, ... Computer Science and General Issues)

تأیید، بررسی مدل، و تفسیر چکیده: بیست و سومین کنفرانس بین المللی، VMCAI 2022، فیلادلفیا، PA، ایالات متحده آمریکا، 16–18 ژانویه 2022، ... علوم کامپیوتر و مسائل عمومی)

Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, ... Computer Science and General Issues)

نویسنده: Bernd Finkbeiner (editor), Thomas Wies (editor)

ناشر: Springer

سال انتشار: 2022

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

زبان: English

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

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