1469:-
Uppskattad leveranstid 5-9 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
Andra format:
- Pocket/Paperback 879:-
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lbeck, 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.
- Format: Pocket/Paperback
- ISBN: 9783031274800
- Språk: Engelska
- Antal sidor: 659
- Utgivningsdatum: 2023-03-03
- Förlag: Springer International Publishing AG