Formal Methods
25th International Symposium, FM 2023, Lübeck, Germany, March 6¿10, 2023, Proceedings
Herausgegeben:Chechik, Marsha; Katoen, Joost-Pieter; Leucker, Martin
Formal Methods
25th International Symposium, FM 2023, Lübeck, Germany, March 6¿10, 2023, Proceedings
Herausgegeben:Chechik, Marsha; Katoen, Joost-Pieter; Leucker, Martin
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day.
- Formal Methods111,99 €
- Formal Methods31,99 €
- SOFSEM 2024: Theory and Practice of Computer Science55,99 €
- Integrated Formal Methods37,99 €
- Computing and Combinatorics75,99 €
- Graph Transformation37,99 €
- Runtime Verification55,99 €
-
-
-
- Produktdetails
- Lecture Notes in Computer Science 14000
- Verlag: Springer / Springer International Publishing / Springer, Berlin
- Artikelnr. des Verlages: 978-3-031-27480-0
- 1st ed. 2023
- Seitenzahl: 676
- Erscheinungstermin: 3. März 2023
- Englisch
- Abmessung: 235mm x 155mm x 37mm
- Gewicht: 1007g
- ISBN-13: 9783031274800
- ISBN-10: 3031274806
- Artikelnr.: 67343201
- Lecture Notes in Computer Science 14000
- Verlag: Springer / Springer International Publishing / Springer, Berlin
- Artikelnr. des Verlages: 978-3-031-27480-0
- 1st ed. 2023
- Seitenzahl: 676
- Erscheinungstermin: 3. März 2023
- Englisch
- Abmessung: 235mm x 155mm x 37mm
- Gewicht: 1007g
- ISBN-13: 9783031274800
- ISBN-10: 3031274806
- Artikelnr.: 67343201