{"product_id":"andre-platzer-formal-methods-9783031711619","title":"Formal Methods","description":"The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.\n\u003cbr\u003e\nThe 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The contributions were organized in topical sections as follows:\n\u003cbr\u003e\nPart I: Invited papers; fundamentals of formal verification; foundations; learn and repair; programming languages.- logic and automata;\n\u003cbr\u003e\nPart II: Tools and case studies; embedded systems track; industry day track; tutorial papers.\n\u003cbr\u003e\n\u003cbr\u003e\n\u003cbr\u003e\n\u003cbr\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":53646854848854,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9783031711619_1.jpg?v=1778726015","url":"https:\/\/www.momoxbooks.com\/products\/andre-platzer-formal-methods-9783031711619","provider":"momoxbooks","version":"1.0","type":"link"}