Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I
Häftad, Engelska, 2024
AvAndré Platzer,Kristin Yvonne Rozier,Matteo Pradella,Matteo Rossi,Andre Platzer,Kristin Yvonne Platzer, André
669 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.
Produktinformation
- Utgivningsdatum2024-09-11
- Mått155 x 235 x 38 mm
- Vikt1 048 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor680
- Upplaga2025
- FörlagSpringer International Publishing AG
- ISBN9783031711619