Matteo Pradella – författare
Visar alla böcker från författaren Matteo Pradella. Handla med fri frakt och snabb leverans.
2 produkter
Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I
Av André Platzer, Kristin Yvonne Rozier m. fl.
Häftad, 2024
455 kr
Lägg i varukorg
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 …
Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II
Av Andre Platzer, Kristin Yvonne Rozier m. fl.
Häftad, 2024
1688 kr
Lägg i varukorg
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 …
