{"product_id":"formal-methods-for-industrial-critical-systems-john-wiley-sons-inc-9780470876183-a-survey-of-applications-stefania-gnesi","title":"Formal Methods for Industrial Critical Systems","description":"\u003cp\u003eExplore the vital role of formal methods in the design of industrial safety-critical systems with \u003cstrong\u003eFormal Methods for Industrial Critical Systems\u003c\/strong\u003e by \u003cstrong\u003eStefania Gnesi\u003c\/strong\u003e. Published by \u003cstrong\u003eJohn Wiley \u0026amp; Sons Inc\u003c\/strong\u003e in 2013, this comprehensive paperback spans 292 pages, offering an in-depth look at the application of formal methods in computer engineering. As industries increasingly prioritize safety and reliability, understanding these methodologies becomes essential for engineers and developers alike. This book serves as a crucial resource for professionals seeking to enhance their knowledge and implementation of formal techniques in critical systems. Discover how formal methods can significantly improve the safety and performance of your projects today!\u003c\/p\u003e","brand":"Stefania Gnesi","offers":[{"title":"Default Title","offer_id":52244023214422,"sku":"9780470876183","price":99.37,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780470876183.jpg?v=1767767482","url":"https:\/\/www.englishbook.fi\/products\/formal-methods-for-industrial-critical-systems-john-wiley-sons-inc-9780470876183-a-survey-of-applications-stefania-gnesi","provider":"Bookshop","version":"1.0","type":"link"}