{"product_id":"software-engineering-and-formal-methods-springer-nature-switzerland-ag-9783030587673-18th-international-conference-sefm-2020-amsterdam-the-netherlands-september-14-18-2020-proceedings-frank-de-boer","title":"Software Engineering and Formal Methods","description":"\u003cp\u003eExplore the forefront of software development with \u003cstrong\u003eSoftware Engineering and Formal Methods\u003c\/strong\u003e by \u003cstrong\u003eFrank de Boer\u003c\/strong\u003e. This essential volume presents the refereed proceedings from the 18th International Conference on Software Engineering and Formal Methods (SEFM 2020), held in Amsterdam, The Netherlands, in September 2020. With a comprehensive collection of 16 meticulously reviewed full papers, along with a keynote talk and its abstract, this book showcases cutting-edge research and innovative practices in the field of software engineering. Published by \u003cstrong\u003eSpringer Nature Switzerland AG\u003c\/strong\u003e, this first edition spans \u003cstrong\u003e325 pages\u003c\/strong\u003e and serves as an invaluable resource for researchers, practitioners, and students alike. Dive into the latest advancements and methodologies that are shaping the future of software engineering.\u003c\/p\u003e","brand":"Frank de Boer","offers":[{"title":"Default Title","offer_id":52259413000534,"sku":"9783030587673","price":60.62,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030587673.jpg?v=1767789977","url":"https:\/\/www.englishbook.fi\/products\/software-engineering-and-formal-methods-springer-nature-switzerland-ag-9783030587673-18th-international-conference-sefm-2020-amsterdam-the-netherlands-september-14-18-2020-proceedings-frank-de-boer","provider":"Bookshop","version":"1.0","type":"link"}