{"product_id":"formal-methods-for-industrial-critical-systems-springer-nature-switzerland-ag-9783030270070-24th-international-conference-fmics-2019-amsterdam-the-netherlands-august-30-31-2019-proceedings-kim-guldstrand-larsen","title":"Formal Methods for Industrial Critical Systems","description":"\u003cp\u003eDiscover the latest advancements in the field of formal methods with \u003cstrong\u003eFormal Methods for Industrial Critical Systems\u003c\/strong\u003e by \u003cstrong\u003eKim Guldstrand Larsen\u003c\/strong\u003e. This comprehensive volume, published by \u003cstrong\u003eSpringer Nature Switzerland AG\u003c\/strong\u003e in 2019, presents the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2019), which took place in Amsterdam, The Netherlands, in August 2019. \u003c\/p\u003e \n\n\u003cp\u003eWithin its 161 pages, this book features 9 meticulously reviewed papers selected from a competitive pool of 15 submissions, offering valuable insights into the application of formal methods in critical industrial systems. Ideal for researchers, practitioners, and students alike, this edition serves as an essential resource for understanding the intricate methodologies that ensure the reliability and safety of industrial systems. Enhance your knowledge and explore the critical intersection of formal methods and industrial applications today!\u003c\/p\u003e","brand":"Kim Guldstrand Larsen","offers":[{"title":"Default Title","offer_id":52243232522582,"sku":"9783030270070","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030270070.jpg?v=1767766226","url":"https:\/\/www.englishbook.pt\/products\/formal-methods-for-industrial-critical-systems-springer-nature-switzerland-ag-9783030270070-24th-international-conference-fmics-2019-amsterdam-the-netherlands-august-30-31-2019-proceedings-kim-guldstrand-larsen","provider":"Bookshop","version":"1.0","type":"link"}