خرید و دانلود نسخه کامل کتاب Integrated Formal Methods: 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings

روش های رسمی یکپارچه: هجدهمین کنفرانس بین المللی، IFM 2023، لیدن، هلند، 13 تا 15 نوامبر 2023، مجموعه مقالات

Integrated Formal Methods: 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings

نویسنده: Paula Herber (editor), Anton Wijs (editor)

ناشر: Springer

سال انتشار: 2023

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

زبان: English

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

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