{"product_id":"formal-methods-springer-international-publishing-ag-9783031274800-25th-international-symposium-fm-2023-lubeck-germany-march-6-10-2023-proceedings-marsha-chechik","title":"Formal Methods","description":"\u003cp\u003eDiscover the latest advancements in formal methods with \u003cstrong\u003eFormal Methods\u003c\/strong\u003e by \u003cstrong\u003eMarsha Chechik\u003c\/strong\u003e. This comprehensive volume is the refereed proceedings of the 25th International Symposium on Formal Methods (FM 2023), held in Lübeck, Germany, in March 2023. Featuring 26 full papers and 2 short papers, this book showcases cutting-edge research that has been meticulously reviewed and selected from a competitive pool of 95 submissions. Published by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e, this first edition spans an impressive \u003cstrong\u003e659 pages\u003c\/strong\u003e, making it an essential resource for researchers, practitioners, and students in the field of formal methods. Enhance your understanding and stay updated on the latest methodologies and applications that are shaping the future of this vital discipline.\u003c\/p\u003e","brand":"Marsha Chechik","offers":[{"title":"Default Title","offer_id":52274327945558,"sku":"9783031274800","price":109.12,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031274800.jpg?v=1767812571","url":"https:\/\/www.laufgard.com\/products\/formal-methods-springer-international-publishing-ag-9783031274800-25th-international-symposium-fm-2023-lubeck-germany-march-6-10-2023-proceedings-marsha-chechik","provider":"Bookshop","version":"1.0","type":"link"}