Title: Formal Methods: 25th International Symposium, Fm 2023, L�beck, Germany, March 6-10, 2023, Proceedings: 14000 (Lecture Notes in Computer Science, 14000) [Paperback] [Mar 03, 2023] Chechik, Marsha; Katoen, Joost-Pieter and Leucker, Martin
Publisher: Springer
Publication Date: 2023
Language: English
ISBN 10: 3031274806
ISBN 13: 9783031274800
Binding: Soft cover
Condition: New

About this title

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.

"About this title" may belong to another edition of this title.

Store Description

Staines Book aim to offer our customers a variety of the old & latest Books. With the Experience of more than 15 Years, we always keep an eye on the latest trends in Books and put our customers'�wishes first, we try our best to give books to our customers on lowest prices. We ship Books through Fedex Priority. That is why we have satisfied customers all over the world, and are thrilled to be a part of the Books industry. Staines Books Hub also sell books in Bulk, We try our best to Provied High Quality, Fast Service, Global Shipping.

Visit Seller's Storefront

Seller's business information

SIX SENSE STRATEGY LTD
SIX SENSE STRATEGY LTD, Haland House, Office # 9a, 66 York Road, Weybridge, KT13 9DY, United Kingdom

Sale & Shipping Terms

Terms of Sale

StainesBookHub aim to offer our customers a variety of the old & latest Books. With the Experience of more than 15 Years, we always keep an eye on the latest trends in Books and put our customers' wishes first, we try our best to give books to our customers on lowest prices. We ship Books through Fedex Priority. That is why we have satisfied customers all over the world, and are thrilled to be a part of the Books industry. StainesBooksHub also sell books in Bulk, We try our best to Provied High ...

More Information

Shipping Terms

We ship Books through Fedex Priority

Shipping rates from United Kingdom to U.S.A.

Shipping rates from United Kingdom to U.S.A.
Order quantity	7 to 16 business days	3 to 10 business days
First item	US$ 40.64	US$ 67.73

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.