Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II
AvAndre Platzer,Kristin Yvonne Rozier
Häftad, Engelska, 2024
Del i serien Lecture Notes in Computer Science
1 632 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. The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions.
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
554 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 175 kr
NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
Kristin Yvonne Rozier, Swarat Chaudhuri
653 kr
Handbook of Research on Embedded Systems Design
Alessandra Bagnato, Leandro Soares Indrusiak, Imran Rafiq Quadri, Matteo Rossi, Leandro Soares Indrusiak, Imran Rafiq Quadri
Inbunden
4 418 kr
Electric Vehicle Sharing Services for Smarter Cities
Daniele Fabrizio Bignami, Alberto Colorni Vitale, Alessandro Lué, Roberto Nocerino, Matteo Rossi, Sergio Matteo Savaresi
Inbunden
1 069 kr