خرید و دانلود نسخه کامل کتاب Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, ... Part I (Lecture Notes in Computer Science)

تأیید، بررسی مدل، و تفسیر چکیده: بیست و پنجمین کنفرانس بین المللی، VMCAI 2024، لندن، انگلستان، 15–16 ژانویه 2024، ... قسمت اول (یادداشت های سخنرانی در علوم کامپیوتر)

Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, ... Part I (Lecture Notes in Computer Science)

نویسنده: Rayna Dimitrova (editor), Ori Lahav (editor), Sebastian Wolff (editor)

ناشر: Springer

سال انتشار: 2024

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

زبان: English

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

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