{"title":"Jean-Louis Boulanger","description":null,"products":[{"product_id":"static-analysis-of-software-iste-ltd-and-john-wiley-sons-inc-9781848213203-the-abstract-interpretation-jean-louis-boulanger","title":"Static Analysis of Software","description":"\u003cp\u003eDiscover the intricate world of software evaluation with \"Static Analysis of Software\" by Jean-Louis Boulanger. Published in 2011 by ISTE Ltd and John Wiley \u0026amp; Sons Inc, this hardback book spans 331 pages and serves as an invaluable resource for both students and researchers. Unlike other literature that merely scratches the surface, Boulanger delves deeply into the practical applications of the formal techniques known as abstract interpretation.\u003c\/p\u003e \u003cp\u003eThrough real-world examples from industries such as railway, aeronautics, space, and automotive, this book not only enhances your understanding of static analysis but also showcases its critical role in quality control and debugging within computer science. Perfect for those looking to navigate the complexities of software testing and improve their knowledge of software quality assurance, \"Static Analysis of Software\" is a must-have addition to your library.\u003c\/p\u003e","brand":"Jean-Louis Boulanger","offers":[{"title":"Default Title","offer_id":52227961422166,"sku":"9781848213203","price":189.09,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781848213203.jpg?v=1767742550"},{"product_id":"safety-of-software-based-systems-iste-ltd-and-john-wiley-sons-inc-9781848214149-jean-louis-boulanger","title":"Safety of Software–based Systems","description":"\u003cp\u003eExplore the critical aspects of system safety with \"Safety of Software–based Systems\" by Jean-Louis Boulanger. Published in 2020 by ISTE Ltd and John Wiley \u0026amp; Sons Inc, this comprehensive hardback spans 504 pages and delves into the implementation of safety standards across various industries, including aeronautics, automation, automotive, nuclear, railway, and space. \u003c\/p\u003e \u003cp\u003eBoulanger offers an in-depth analysis of certification strategies, making this book an essential resource for professionals seeking to enhance their understanding of software safety in complex systems. With its clear explanations and expert insights, this book is perfect for developers, engineers, and researchers who are committed to ensuring the reliability and safety of software-based applications. \u003c\/p\u003e \u003cp\u003eDon't miss your chance to obtain this pivotal resource that marries theory with practical applications in the field of safety-critical software systems.\u003c\/p\u003e","brand":"Jean-Louis Boulanger","offers":[{"title":"Default Title","offer_id":52229786861910,"sku":"9781848214149","price":140.7,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781848214149.jpg?v=1767745597"},{"product_id":"safety-of-computer-architectures-iste-ltd-and-john-wiley-sons-inc-9781848211971-jean-louis-boulanger","title":"Safety of Computer Architectures","description":"\u003cp\u003eDelve into the intricate world of computer architectures with \"Safety of Computer Architectures\" by Jean-Louis Boulanger. Published in 2010 by ISTE Ltd and John Wiley \u0026amp; Sons Inc, this comprehensive hardback spans 512 pages, making it a vital resource for industry professionals and researchers alike.\u003c\/p\u003e \n\n\u003cp\u003eThis definitive volume provides a thorough exploration of the constraints influencing computer architecture, including essential legal contexts related to performance and reliability standards. Through a diverse range of application examples from railways, aeronautics, space, automotive, and industrial automation, Boulanger illuminates the critical safety considerations necessary for modern technological systems.\u003c\/p\u003e\n\n\u003cp\u003eEnhance your understanding of computer architecture and the safety measures that underpin it by adding this authoritative text to your collection today!\u003c\/p\u003e","brand":"Jean-Louis Boulanger","offers":[{"title":"Default Title","offer_id":52229787255126,"sku":"9781848211971","price":168.48,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781848211971.jpg?v=1767745595"},{"product_id":"safety-management-for-software-based-equipment-iste-ltd-and-john-wiley-sons-inc-9781848214521-jean-louis-boulanger","title":"Safety Management for Software-based Equipment","description":"\u003cp\u003eDelve into the critical world of software safety with \"\u003cstrong\u003eSafety Management for Software-based Equipment\u003c\/strong\u003e\" by \u003cstrong\u003eJean-Louis Boulanger\u003c\/strong\u003e. Published by \u003cstrong\u003eISTE Ltd and John Wiley \u0026amp; Sons Inc\u003c\/strong\u003e in 2013, this insightful hardback spans \u003cstrong\u003e192 pages\u003c\/strong\u003e and provides a comprehensive exploration of the principles governing the safety of software-based systems.\u003c\/p\u003e \n\n\u003cp\u003eThis book offers a detailed examination of safety objectives, presenting essential definitions and frameworks that underpin effective safety management. It is an invaluable resource for software engineers, safety managers, and anyone involved in the development and operation of software-based equipment.\u003c\/p\u003e\n\n\u003cp\u003eUnlock the potential of your software solutions while ensuring compliance with best practices in safety management. Ideal for professionals looking to enhance their understanding and skills, Boulanger's expertise in the field makes this book a must-have on your shelf.\u003c\/p\u003e","brand":"Jean-Louis Boulanger","offers":[{"title":"Default Title","offer_id":52229787812182,"sku":"9781848214521","price":168.48,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781848214521.jpg?v=1767745598"},{"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"},{"product_id":"formal-methods-iste-ltd-and-john-wiley-sons-inc-9781848213623-industrial-use-from-model-to-the-code-jean-louis-boulanger","title":"Formal Methods","description":"\u003cp\u003eDiscover the essential insights of \u003cstrong\u003eFormal Methods\u003c\/strong\u003e by \u003cstrong\u003eJean-Louis Boulanger\u003c\/strong\u003e, published by ISTE Ltd and John Wiley \u0026amp; Sons Inc in 2012. This comprehensive hardback edition spans \u003cstrong\u003e384 pages\u003c\/strong\u003e and delves into the evolution and application of formal analysis programming techniques, which have been pivotal in software development since their introduction in the 1980s. \u003c\/p\u003e \u003cp\u003eFormal methods are crucial for analyzing the behavior of software applications, allowing developers to ensure reliability and correctness in their programming languages. This book serves as an invaluable resource for professionals in application software, data processing, and management, particularly within the railroad industry. Enhance your understanding of these foundational techniques and their impact on modern software engineering with Boulanger's expert guidance. Perfect for both newcomers and seasoned practitioners, \u003cstrong\u003eFormal Methods\u003c\/strong\u003e is a must-have addition to your technical library.\u003c\/p\u003e","brand":"Jean-Louis Boulanger","offers":[{"title":"Default Title","offer_id":52243232325974,"sku":"9781848213623","price":168.48,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781848213623.jpg?v=1767766226"}],"url":"https:\/\/www.bookshop.lt\/collections\/jean-louis-boulanger.oembed","provider":"Bookshop","version":"1.0","type":"link"}