خرید و دانلود نسخه کامل کتاب Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings (Lecture Notes in Computer Science)

روش‌های رسمی و مهندسی نرم‌افزار: بیست و سومین کنفرانس بین‌المللی روش‌های مهندسی رسمی، ICFEM 2022، مادرید، اسپانیا، 24 تا 27 اکتبر 2022، مجموعه مقالات (یادداشت‌های سخنرانی در علوم کامپیوتر)

Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings (Lecture Notes in Computer Science)

نویسنده: Adrian Riesco (editor), Min Zhang (editor)

ناشر: Springer

سال انتشار: 2022

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

زبان: English

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

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