Tallenna
Formal Methods
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.
- Alaotsikko
- 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I
- Toimittaja
- André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi
- Painos
- 2025 ed.
- ISBN
- 9783031711619
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 11.9.2024
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 680
