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 ...
Read More
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.
Read Less
Add this copy of Formal Methods: 25th International Symposium, FM 2023, to cart. $103.32, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2023 by Springer International Publishing AG.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Print on demand Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XVI, 659 p. 1230 illus., 132 illus. in color. Intended for professional and scholarly audience.
Add this copy of Formal Methods: 25th International Symposium, Fm 2023, to cart. $104.92, new condition, Sold by Just one more Chapter rated 3.0 out of 5 stars, ships from Miramar, FL, UNITED STATES, published 2023 by Springer.
Add this copy of Formal Methods: 25th International Symposium, FM 2023, to cart. $117.69, new condition, Sold by Ria Christie Books rated 4.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 2023 by Springer International Publishing AG.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XVI, 659 p. 1230 illus., 132 illus. in color. Intended for professional and scholarly audience.
