{"product_id":"formal-methods-26th-international-symposium-fm-2024-milan-italy-september-9-13-2024-proceedings-part-ii-9783031711763","title":"Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II","description":"\u003cp\u003e • Author(s): Andre Platzer\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Software Development \u0026amp; Engineering - General\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eThe 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. \u003c\/p\u003e \u003cp\u003eThe 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: \u003c\/p\u003e \u003cp\u003ePart I: Invited papers; fundamentals of formal verification; foundations; learn and repair; programming languages.- logic and automata; \u003c\/p\u003e \u003cp\u003ePart II: Tools and case studies; embedded systems track; industry day track; tutorial papers. \u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45284759928983,"sku":"9783031711763","price":11017.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783031711763.webp?v=1769282143","url":"https:\/\/atlanticbooks.com\/products\/formal-methods-26th-international-symposium-fm-2024-milan-italy-september-9-13-2024-proceedings-part-ii-9783031711763","provider":"Atlantic Books","version":"1.0","type":"link"}