Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I
AvAndré Platzer,Kristin Yvonne Rozier
Häftad, Engelska, 2024
Del i serien Lecture Notes in Computer Science
443 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
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
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Modeling Time in Computing
Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
Inbunden
552 kr
Electric Vehicle Sharing Services for Smarter Cities
Daniele Fabrizio Bignami, Alberto Colorni Vitale, Alessandro Lué, Roberto Nocerino, Matteo Rossi, Sergio Matteo Savaresi
Häftad
1 170 kr