{"product_id":"software-engineering-and-formal-methods-springer-international-publishing-ag-9783319229683-13th-international-conference-sefm-2015-york-uk-september-7-11-2015-proceedings-radu-calinescu","title":"Software Engineering and Formal Methods","description":"\u003cp\u003eExplore the cutting-edge world of software engineering with \u003cstrong\u003eSoftware Engineering and Formal Methods\u003c\/strong\u003e by Radu Calinescu, published by Springer International Publishing AG in 2015. This comprehensive volume gathers the refereed proceedings of the esteemed 13th International Conference on Software Engineering and Formal Methods (SEFM 2015), which took place in York, UK. \u003c\/p\u003e \n\n\u003cp\u003eWith 369 pages of insightful research, this book features 17 full papers, along with 2 invited talks and 6 short papers, all meticulously reviewed and selected from an impressive pool of 96 submissions. It offers a wealth of knowledge for professionals, researchers, and students who are eager to delve into the latest advancements and methodologies in software engineering. Enhance your understanding and stay ahead in this dynamic field with this essential read.\u003c\/p\u003e","brand":"Radu Calinescu","offers":[{"title":"Default Title","offer_id":52228419158358,"sku":"9783319229683","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319229683.jpg?v=1767743316","url":"https:\/\/www.englishbook.fi\/products\/software-engineering-and-formal-methods-springer-international-publishing-ag-9783319229683-13th-international-conference-sefm-2015-york-uk-september-7-11-2015-proceedings-radu-calinescu","provider":"Bookshop","version":"1.0","type":"link"}