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

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

Big bigCover of Software Engineering and Formal Methods

More books from Springer International Publishing

bigCover of the book Mass and Energy Balances by

bigCover of the book Modeling Decisions for Artificial Intelligence by

bigCover of the book Measurement of the Inclusive Electron Cross-Section from Heavy-Flavour Decays and Search for Compressed Supersymmetric Scenarios with the ATLAS Experiment by

bigCover of the book Proceedings of SAI Intelligent Systems Conference (IntelliSys) 2016 by

bigCover of the book Multifunctional Wetlands by

bigCover of the book Thermal Performance Modeling of Cross-Flow Heat Exchangers by

bigCover of the book The Mental Mechanisms of Patient Adherence to Long-Term Therapies by

bigCover of the book Mobile Networks and Management by

bigCover of the book The Lysenko Controversy as a Global Phenomenon, Volume 1 by

bigCover of the book Operations Research Proceedings 2017 by

bigCover of the book Toolkit for Counseling Spanish-Speaking Clients by

bigCover of the book Asymptotics of Elliptic and Parabolic PDEs by

bigCover of the book Formalizing Data-Centric Web Services 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