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

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 Agricultural Cooperative Management and Policy by
Cover of the book Acute and Chronic Neural Stimulation via Mechano-Sensitive Ion Channels by
Cover of the book Innovations in Social Marketing and Public Health Communication by
Cover of the book Supervision of Family Therapy and Systemic Practice by
Cover of the book Pride and Authenticity by
Cover of the book Friedrich Nietzsche by
Cover of the book Foundations for Innovative Application of Airborne Radars by
Cover of the book Reducing Burglary by
Cover of the book Ethical Issues in Anesthesiology and Surgery by
Cover of the book Global Marketing Strategy by
Cover of the book Homeopathy - The Undiluted Facts by
Cover of the book Magical Manuscripts in Early Modern Europe by
Cover of the book Mobius Invariant QK Spaces by
Cover of the book The Second Physicist by
Cover of the book Competitiveness Creation and Maintenance in the Postal Services Industry 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