Formal Methods
Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi
Häftad, 2024
1 667 kr
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
450 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
Electric Vehicle Sharing Services for Smarter Cities
Daniele Fabrizio Bignami, Alberto Colorni Vitale, Alessandro Lué, Roberto Nocerino, Matteo Rossi, Sergio Matteo Savaresi
Häftad, 2018
1 189 kr
Modeling Time in Computing
Matteo Rossi, Angelo Morzenti, Dino Mandrioli, Carlo A. Furia
E-bok
2012714 kr
Modeling Time in Computing
Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
Häftad, 2014
561 kr
Del 9360
Del 12699