خرید و دانلود نسخه کامل کتاب Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings (Lecture Notes in Computer Science)

روش های رسمی یکپارچه: هفدهمین کنفرانس بین المللی، IFM 2022، لوگانو، سوئیس، 7 تا 10 ژوئن 2022، مجموعه مقالات (یادداشت های سخنرانی در علوم کامپیوتر)

Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings (Lecture Notes in Computer Science)

نویسنده: Maurice H. ter Beek (editor), Rosemary Monahan (editor)

ناشر: Springer

سال انتشار: 2022

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

زبان: English

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

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