{"product_id":"formal-methods-for-industrial-critical-systems-springer-nature-switzerland-ag-9783030582975-25th-international-conference-fmics-2020-vienna-austria-september-2-3-2020-proceedings-maurice-h-ter-beek","title":"Formal Methods for Industrial Critical Systems","description":"\u003cp\u003eDiscover the essential insights from the 25th International Workshop on Formal Methods for Industrial Critical Systems with \u003cstrong\u003eFormal Methods for Industrial Critical Systems\u003c\/strong\u003e by \u003cstrong\u003eMaurice H. ter Beek\u003c\/strong\u003e. Published by \u003cstrong\u003eSpringer Nature Switzerland AG\u003c\/strong\u003e in 2020, this first edition encompasses 289 pages of cutting-edge research and discussions held on September 2-3, 2020. This book serves as a vital resource for professionals and researchers in the field, offering a comprehensive overview of formal methods and their applications in critical industrial systems. Enhance your understanding of the latest methodologies and innovations that drive safety and reliability in complex systems. Ideal for academics, practitioners, and anyone interested in the intersection of formal methods and industrial applications, this book is a must-have addition to your library.\u003c\/p\u003e","brand":"Maurice H. ter Beek","offers":[{"title":"Default Title","offer_id":52274327191894,"sku":"9783030582975","price":54.55,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030582975.jpg?v=1767812570","url":"https:\/\/www.laufgard.com\/products\/formal-methods-for-industrial-critical-systems-springer-nature-switzerland-ag-9783030582975-25th-international-conference-fmics-2020-vienna-austria-september-2-3-2020-proceedings-maurice-h-ter-beek","provider":"Bookshop","version":"1.0","type":"link"}