Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II
Häftad, Engelska, 2024
Av Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi
2 509 kr
Beställningsvara. Skickas inom 10-15 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions.
Produktinformation
- Utgivningsdatum2024-09-13
- Mått155 x 235 x 37 mm
- Vikt1 007 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor652
- FörlagSpringer International Publishing AG
- ISBN9783031711763