Software Engineering and Formal Methods

16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

Nonfiction, Computers, Programming, Software Development, Programming Languages, General Computing
Big bigCover of Software Engineering and Formal Methods

More books from Springer International Publishing

bigCover of the book Eurocode-Compliant Seismic Analysis and Design of R/C Buildings by
bigCover of the book Group Recommender Systems by
bigCover of the book Human Dignity of the Vulnerable in the Age of Rights by
bigCover of the book Modeling, Methodologies and Tools for Molecular and Nano-scale Communications by
bigCover of the book Oxidative Stress and Cardiorespiratory Function by
bigCover of the book Beyond Standard Model Phenomenology at the LHC by
bigCover of the book Imaging Sunlight Using a Digital Spectroheliograph by
bigCover of the book Animals and the Fukushima Nuclear Disaster by
bigCover of the book Cyber Security Intelligence and Analytics by
bigCover of the book Consumer Law and Socioeconomic Development by
bigCover of the book The Lithuanian Family in its European Context, 1800-1914 by
bigCover of the book Computational Methods and Clinical Applications for Spine Imaging by
bigCover of the book Intelligent Automation in Renewable Energy by
bigCover of the book Policy-Making at the European Periphery by
bigCover of the book Nonlinear Dynamical Systems with Self-Excited and Hidden Attractors 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