Formal Methods
BOK (Häftad)
- Springer International Publishing AG
- 2024-09-11
- Engelska
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.
| Serie: | |
| Undertitel: | 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I Lecture Notes in Computer Science |
| Redaktör: | Platzer, Andre, Rozier, Kristin Yvonne, Pradella, Matteo, Rossi, Matteo |
| Upplaga: | 2025 ed. |
| Höjd: | 235 mm |
| Bredd: | 155 mm |
| Omfång: | 680 s. |
| Övrig information: | Switzerland, Springer International Publishing AG |
Utrustad
(5-8 dgr)
Logga in för att se ditt pris
st
Outrustad
(5-8 dgr)
Pris: 511:-
Ditt pris: 511:-
st