{"product_id":"software-engineering-and-formal-methods-springer-nature-switzerland-ag-9783030575052-sefm-2019-collocated-workshops-cosim-cps-asyde-cifma-and-foclasa-oslo-norway-september-16-20-2019-revised-selected-papers-javier-camara","title":"Software Engineering and Formal Methods","description":"\u003cp\u003eDiscover the intricate world of software engineering with \u003cstrong\u003eSoftware Engineering and Formal Methods\u003c\/strong\u003e by \u003cstrong\u003eJavier Camara\u003c\/strong\u003e. Published by \u003cstrong\u003eSpringer Nature Switzerland AG\u003c\/strong\u003e in 2020, this first edition spans 277 pages and presents a collection of revised selected papers from the four workshops held alongside the 17th International Conference on Software Engineering and Formal Methods (SEFM 2019). This volume includes insights from the CoSim-CPS 2019, the 3rd International Workshop on Formal Co-Simulation of Cyber-Physical Systems, among other key workshops. Ideal for professionals and researchers alike, this book delves into the latest methodologies and advancements in software engineering, making it an essential addition to your library. Enhance your understanding of formal methods and their applications in modern software development with this comprehensive resource.\u003c\/p\u003e","brand":"Javier Camara","offers":[{"title":"Default Title","offer_id":52259412705622,"sku":"9783030575052","price":72.74,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030575052.jpg?v=1767789974","url":"https:\/\/www.englishbook.fi\/products\/software-engineering-and-formal-methods-springer-nature-switzerland-ag-9783030575052-sefm-2019-collocated-workshops-cosim-cps-asyde-cifma-and-foclasa-oslo-norway-september-16-20-2019-revised-selected-papers-javier-camara","provider":"Bookshop","version":"1.0","type":"link"}