خرید و دانلود نسخه کامل کتاب Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings

روش‌های رسمی برای سیستم‌های بحرانی صنعتی: بیست و نهمین کنفرانس بین‌المللی، FMICS 2024، میلان، ایتالیا، 9 تا 11 سپتامبر 2024، مجموعه مقالات

Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings

نویسنده: Anne E. Haxthausen (editor), Wendelin Serwe (editor)

ناشر: Springer

سال انتشار: 2024

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

زبان: English

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

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