{"product_id":"industrial-use-of-formal-methods-iste-ltd-and-john-wiley-sons-inc-9781848213630-formal-verification-jean-louis-boulanger","title":"Industrial Use of Formal Methods","description":"\u003cp\u003eDiscover the transformative power of formal methods in the industrial sector with \u003cstrong\u003eIndustrial Use of Formal Methods\u003c\/strong\u003e by \u003cstrong\u003eJean-Louis Boulanger\u003c\/strong\u003e. Published in 2012 by ISTE Ltd and John Wiley \u0026amp; Sons Inc, this comprehensive hardback edition spans 314 pages and serves as an essential resource for students and researchers alike.\u003c\/p\u003e \n\n\u003cp\u003eThis insightful book consolidates valuable experiences and practical applications of formal techniques, such as proof and model-checking, specifically within the transportation domain. By bridging the gap between theory and practice, Boulanger provides readers with a deep understanding of how these methodologies can enhance computer simulation, software development, and data processing in real-world industrial settings.\u003c\/p\u003e \n\n\u003cp\u003eWhether you are a student eager to learn or a professional seeking to implement formal methods in your projects, this book is a must-have addition to your library. Embrace the future of technology and engineering with \u003cstrong\u003eIndustrial Use of Formal Methods\u003c\/strong\u003e.\u003c\/p\u003e","brand":"Jean-Louis Boulanger","offers":[{"title":"Default Title","offer_id":52238912618838,"sku":"9781848213630","price":168.48,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781848213630.jpg?v=1767760877","url":"https:\/\/www.englishbook.fi\/products\/industrial-use-of-formal-methods-iste-ltd-and-john-wiley-sons-inc-9781848213630-formal-verification-jean-louis-boulanger","provider":"Bookshop","version":"1.0","type":"link"}