{"product_id":"software-engineering-and-formal-methods-sefm-2017-collocated-workshops-datamod-faacs-mse-cosim-cps-and-foclasa-trento-italy-september-4-5-20-9783319747804","title":"Software Engineering and Formal Methods: Sefm 2017 Collocated Workshops: Datamod, Faacs, Mse, Cosim-Cps, and Foclasa, Trento, Italy, September 4-5, 20","description":"\u003cp\u003e • Author(s): Antonio Cerone\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Programming - General\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eThis book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017. \u003c\/p\u003e \u003cp\u003eThe 38 papers presented in this volume were carefully reviewed and selected from a total of 55 submissions. They stem from the following workshops: \u003c\/p\u003e \u003cp\u003e\u003cb\u003eDataMod 2017\u003c\/b\u003e -- 6th International Symposium \"From Data to Models and Back\"; \u003cb\u003eFAACS 2017\u003c\/b\u003e -- 1st Workshop on Formal Approaches for Advanced Computing Systems; \u003cb\u003eMSE 2017\u003c\/b\u003e -- 1st Workshop on Microservices: Science and Engineering; \u003cb\u003eCoSim-CPS 2017\u003c\/b\u003e -- 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems; \u003cb\u003eFOCLASA 2017\u003c\/b\u003e -- 15th International Workshop on Foundations Of Coordination Languages and Self-Adaptive Systems​.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45284679385239,"sku":"9783319747804","price":5436.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783319747804.webp?v=1769281909","url":"https:\/\/atlanticbooks.com\/products\/software-engineering-and-formal-methods-sefm-2017-collocated-workshops-datamod-faacs-mse-cosim-cps-and-foclasa-trento-italy-september-4-5-20-9783319747804","provider":"Atlantic Books","version":"1.0","type":"link"}