{"product_id":"formal-methods-applied-to-industrial-complex-systems-iste-ltd-and-john-wiley-sons-inc-9781848216327","title":"Formal Methods Applied to Industrial Complex Systems","description":"\u003cp\u003eDiscover the transformative power of formal methods in the industrial sector with \u003cstrong\u003eFormal Methods Applied to Industrial Complex Systems\u003c\/strong\u003e, authored by leading experts and published by \u003cstrong\u003eISTE Ltd and John Wiley \u0026amp; Sons Inc\u003c\/strong\u003e in 2014. This comprehensive hardback edition spans \u003cstrong\u003e480 pages\u003c\/strong\u003e and offers insightful real-world applications of formal methods, including SCADE, the B-Method, ControlBuild, and Matelo. This book is an essential resource for professionals and students alike, providing a deep dive into the practical implementation of these methodologies in complex industrial systems. Enhance your understanding and expertise in formal methods and their significant impact on industry efficiency and reliability. Perfect for engineers, researchers, and anyone interested in the intersection of formal methods and industrial applications.\u003c\/p\u003e","brand":"Bookshop","offers":[{"title":"Default Title","offer_id":52243231899990,"sku":"9781848216327","price":201.22,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781848216327.jpg?v=1767766226","url":"https:\/\/www.bookshop.lt\/products\/formal-methods-applied-to-industrial-complex-systems-iste-ltd-and-john-wiley-sons-inc-9781848216327","provider":"Bookshop","version":"1.0","type":"link"}