Formal Methods
André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi, Andre Platzer, Kristin Yvonne Platzer, André
Häftad
579 kr
Del 0 - Lecture Notes in Computer Science
Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II
Häftad, Engelska, 2024
2 109 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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
- Utgivningsdatum2024-09-13
- Mått155 x 235 x 37 mm
- Vikt1 007 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor652
- FörlagSpringer International Publishing AG
- ISBN9783031711763
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Modeling Time in Computing
Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
Inbunden
719 kr
Electric Vehicle Sharing Services for Smarter Cities
Daniele Fabrizio Bignami, Alberto Colorni Vitale, Alessandro Lué, Roberto Nocerino, Matteo Rossi, Sergio Matteo Savaresi, Alessandro Lue
Häftad
1 509 kr
Del 8430
Electric Vehicle Sharing Services for Smarter Cities
Daniele Fabrizio Bignami, Alberto Colorni Vitale, Alessandro Lué, Roberto Nocerino, Matteo Rossi, Sergio Matteo Savaresi
Inbunden
1 369 kr
Del 12699
Automated Deduction – CADE 28
André Platzer, Geoff Sutcliffe, Andre Platzer, Geoff Platzer, André
Häftad
579 kr