Software Engineering and Formal Methods

SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

Nonfiction, Computers, Computer Hardware, Input-Output Equipment, General Computing, Programming
Cover of the book Software Engineering and Formal Methods by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319747811
Publisher: Springer International Publishing Publication: February 1, 2018
Imprint: Springer Language: English
Author:
ISBN: 9783319747811
Publisher: Springer International Publishing
Publication: February 1, 2018
Imprint: Springer
Language: English
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017.

The 38 papers presented in this volume were carefully reviewed and selected from a total of 55 submissions. They stem from the following workshops:

DataMod 2017 -- 6th International Symposium “From Data to Models and Back"; FAACS 2017 --  1st Workshop on Formal Approaches for Advanced Computing Systems; MSE 2017 -- 1st Workshop on Microservices: Science and Engineering; CoSim-CPS 2017 -- 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems; FOCLASA 2017 -- 15th International Workshop on Foundations Of Coordination Languages and Self-Adaptive Systems​.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017.

The 38 papers presented in this volume were carefully reviewed and selected from a total of 55 submissions. They stem from the following workshops:

DataMod 2017 -- 6th International Symposium “From Data to Models and Back"; FAACS 2017 --  1st Workshop on Formal Approaches for Advanced Computing Systems; MSE 2017 -- 1st Workshop on Microservices: Science and Engineering; CoSim-CPS 2017 -- 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems; FOCLASA 2017 -- 15th International Workshop on Foundations Of Coordination Languages and Self-Adaptive Systems​.

More books from Springer International Publishing

Cover of the book Finite Difference Methods. Theory and Applications by
Cover of the book Landslide Science for a Safer Geoenvironment by
Cover of the book Local Leadership in a Global Era by
Cover of the book Italian Studies on Quality of Life by
Cover of the book Software Technologies: Applications and Foundations by
Cover of the book An Islamic Worldview from Turkey by
Cover of the book Business Despite Borders by
Cover of the book 3D, 4D and Predictive Modelling of Major Mineral Belts in Europe by
Cover of the book Prospects of Organic Waste Management and the Significance of Earthworms by
Cover of the book The Giant Liver Fluke, Fascioloides magna: Past, Present and Future Research by
Cover of the book Road Vehicle Automation 6 by
Cover of the book Certified Reduced Basis Methods for Parametrized Partial Differential Equations by
Cover of the book Handbook on Positive Development of Minority Children and Youth by
Cover of the book HCI International 2018 – Posters' Extended Abstracts by
Cover of the book Electrochemical Biosensor: Point-of-Care for Early Detection of Bone Loss by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy