{"product_id":"formal-methods-for-industrial-critical-systems-springer-international-publishing-ag-9783031681493-29th-international-conference-fmics-2024-milan-italy-september-9-11-2024-proceedings-anne-e-haxthausen","title":"Formal Methods for Industrial Critical Systems","description":"\u003cp\u003eDiscover the latest advancements in critical systems engineering with \u003cstrong\u003eFormal Methods for Industrial Critical Systems\u003c\/strong\u003e by \u003cstrong\u003eAnne E. Haxthausen\u003c\/strong\u003e. Published by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e in 2024, this essential volume compiles the proceedings of the prestigious 29th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2024), held in Milan, Italy, from September 9–13, 2024.\u003c\/p\u003e \n\n\u003cp\u003eFeaturing 14 meticulously reviewed full papers selected from 22 submissions, this book delves into innovative formal methods that enhance the reliability and safety of industrial systems. Spanning 260 pages, it is an invaluable resource for researchers, practitioners, and students interested in the intersection of formal methods and critical system applications.\u003c\/p\u003e\n\n\u003cp\u003eStay at the forefront of your field with insights that can help shape the future of industrial critical systems. Grab your copy of this 2024 edition today!\u003c\/p\u003e","brand":"Anne E. Haxthausen","offers":[{"title":"Default Title","offer_id":52264803467606,"sku":"9783031681493","price":66.68,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031681493.jpg?v=1767797007","url":"https:\/\/www.englishbook.pt\/products\/formal-methods-for-industrial-critical-systems-springer-international-publishing-ag-9783031681493-29th-international-conference-fmics-2024-milan-italy-september-9-11-2024-proceedings-anne-e-haxthausen","provider":"Bookshop","version":"1.0","type":"link"}