{"product_id":"9783319747804","title":"Lecture Notes in Computer Science: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers","description":"\u003ch1\u003eLecture Notes in Computer Science: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers\u003c\/h1\u003e \u003ch2\u003eCerone, Antonio; Roveri, Marco\u003c\/h2\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 \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2018-02-03\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783319747804\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-3-319-74781-1\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 592\u003c\/p\u003e ","brand":"Springer International Publishing","offers":[{"title":"Default Title","offer_id":45377749778572,"sku":"9783319747804","price":96.3,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783319747804.jpg?v=1774015593","url":"https:\/\/lateknightbooks.com\/products\/9783319747804","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}