{"product_id":"formal-methods-and-software-engineering-springer-nature-switzerland-ag-9783030324087-21st-international-conference-on-formal-engineering-methods-icfem-2019-shenzhen-china-november-5-9-2019-proceedings-yamine-ait-ameur","title":"Formal Methods and Software Engineering","description":"\u003cp\u003eDiscover the cutting-edge advancements in software and system design with \u003cstrong\u003eFormal Methods and Software Engineering\u003c\/strong\u003e by \u003cstrong\u003eYamine Ait-Ameur\u003c\/strong\u003e. This comprehensive volume is the official proceedings of the 21st International Conference on Formal Engineering Methods (ICFEM 2019), held in Shenzhen, China, in November 2019. Published by \u003cstrong\u003eSpringer Nature Switzerland AG\u003c\/strong\u003e, this first edition spans an impressive \u003cstrong\u003e528 pages\u003c\/strong\u003e, showcasing the latest developments and research in formal engineering methods.\u003c\/p\u003e \u003cp\u003eWhether you are a software engineer, researcher, or academic, this book provides valuable insights into the use and evolution of formal methods in the industry. Stay ahead of the curve and deepen your understanding of formal engineering techniques that are shaping the future of software development. Don't miss out on this essential resource for anyone serious about software engineering.\u003c\/p\u003e","brand":"Yamine Ait-Ameur","offers":[{"title":"Default Title","offer_id":52243231637846,"sku":"9783030324087","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030324087.jpg?v=1767766225","url":"https:\/\/www.englishbook.fi\/products\/formal-methods-and-software-engineering-springer-nature-switzerland-ag-9783030324087-21st-international-conference-on-formal-engineering-methods-icfem-2019-shenzhen-china-november-5-9-2019-proceedings-yamine-ait-ameur","provider":"Bookshop","version":"1.0","type":"link"}