Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I
وصف الناشر
This open access book constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.
النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠٢٤
١٠ سبتمبر
اللغة
EN
الإنجليزية
عدد الصفحات
٧٠٢
الناشر
Springer Nature Switzerland
البائع
Springer Nature B.V.
الحجم
٥٨٫٩
م.ب.