{"product_id":"formal-methods-and-software-engineering-springer-international-publishing-ag-9783319686899-19th-international-conference-on-formal-engineering-methods-icfem-2017-xi-an-china-november-13-17-2017-proceedings-zhenhua-duan","title":"Formal Methods and Software Engineering","description":"\u003cp\u003eDiscover the essential insights of \u003cstrong\u003eFormal Methods and Software Engineering\u003c\/strong\u003e by \u003cstrong\u003eZhenhua Duan\u003c\/strong\u003e, published by Springer International Publishing AG in 2017. This comprehensive first edition spans \u003cstrong\u003e498 pages\u003c\/strong\u003e and delves into the critical areas of formal engineering methods. The book covers a wide range of topics including verification and validation, software engineering, formal specification and modeling, as well as software security and reliability. Whether you are a student, researcher, or professional in the field, this book serves as a valuable resource for understanding the complexities of software engineering through formal methods. Enhance your knowledge and skills in this vital area of study with this authoritative text.\u003c\/p\u003e","brand":"Zhenhua Duan","offers":[{"title":"Default Title","offer_id":52243231801686,"sku":"9783319686899","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319686899.jpg?v=1767766226","url":"https:\/\/www.englishbook.fi\/products\/formal-methods-and-software-engineering-springer-international-publishing-ag-9783319686899-19th-international-conference-on-formal-engineering-methods-icfem-2017-xi-an-china-november-13-17-2017-proceedings-zhenhua-duan","provider":"Bookshop","version":"1.0","type":"link"}