Formal Methods
BOK (Häftad)
- Springer International Publishing AG
- 2024-09-13
- 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. The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions.
| Serie: | |
| Undertitel: | 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II Lecture Notes in Computer Science |
| Redaktör: | Platzer, Andre, Rozier, Kristin Yvonne, Pradella, Matteo, Rossi, Matteo |
| Upplaga: | 2025 ed. |
| Vikt: | 1.006 kg |
| Höjd: | 155 mm |
| Bredd: | 235 mm |
| Djup: | 41 mm |
| Omfång: | 652 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: 1856:-
Ditt pris: 1856:-
st