Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II
Häftad, Engelska, 2024
AvAndre Platzer,Kristin Yvonne Rozier,Matteo Pradella,Matteo Rossi
2 409 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