Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings: 14000 (Lecture Notes in Computer Science, 14000) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Search results for Formal Methods: 25th International Symposium, FM 2023,...
Stock Image
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings (Lecture Notes in Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783031274800_new
Buy New
£ 86.64
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Formal Methods (Paperback)
Published by
Springer International Publishing AG, Cham, 2023
ISBN 10: 3031274806
ISBN 13: 9783031274800
New
Paperback
First Edition
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Luebeck, 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. This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Luebeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783031274800
Stock Image
Formal Methods: 25th International Symposium, Fm 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Published by
Springer-Nature New York Inc, 2023
ISBN 10: 3031274806
ISBN 13: 9783031274800
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 675 pages. 9.25x6.10x1.36 inches. In Stock. This item is printed on demand. Seller Inventory # __3031274806
Buy New
£ 89.99
£ 12.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Seller Image
Formal Methods
Published by
Springer International Publishing Mrz 2023, 2023
ISBN 10: 3031274806
ISBN 13: 9783031274800
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 676 pp. Englisch. Seller Inventory # 9783031274800
Seller Image
Formal Methods
Published by
Springer, Berlin|Springer International Publishing|Springer, 2023
ISBN 10: 3031274806
ISBN 13: 9783031274800
New
Kartoniert / Broschiert
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Kartoniert / Broschiert. Condition: New. Seller Inventory # 807956905
Buy New
£ 82.08
£ 42.31 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Stock Image
Formal Methods : 25th International Symp
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # V9783031274800
Stock Image
Formal Methods: 25th International Symposium, FM 2023, L?beck, Germany, March 6?10, 2023, Proceedings: 14000 (Lecture Notes in Computer Science)
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 26396027847
Stock Image
Formal Methods: 25th International Symposium, FM 2023, L?beck, Germany, March 6?10, 2023, Proceedings: 14000 (Lecture Notes in Computer Science)
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand. Seller Inventory # 401430552
Buy New
£ 133.99
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Seller Image
Formal Methods | 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Formal Methods | 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings | Marsha Chechik (u. a.) | Taschenbuch | xvi | Englisch | 2023 | Springer | EAN 9783031274800 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Seller Inventory # 126494862
Stock Image
Formal Methods: 25th International Symposium, Fm 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Published by
Springer-Nature New York Inc, 2023
ISBN 10: 3031274806
ISBN 13: 9783031274800
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 675 pages. 9.25x6.10x1.36 inches. In Stock. Seller Inventory # x-3031274806
Buy New
£ 132.72
£ 12.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available