Verified Software. Theories, Tools, and Experiments

9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

Nonfiction, Computers, Advanced Computing, Computer Science, Programming, Software Development, General Computing

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

Big bigCover of Verified Software. Theories, Tools, and Experiments

More books from Springer International Publishing

bigCover of the book Computational Transport Phenomena of Fluid-Particle Systems by

bigCover of the book Myasthenia Gravis and Related Disorders by

bigCover of the book Emerging Challenges in Business, Optimization, Technology, and Industry by

bigCover of the book Handbook of Bioenergy by

bigCover of the book Outer Solar System by

bigCover of the book ROMANSY 22 – Robot Design, Dynamics and Control by

bigCover of the book Advanced Intelligent Systems for Sustainable Development (AI2SD’2018) by

bigCover of the book Agents and Artificial Intelligence by

bigCover of the book Market-Based Fisheries Management by

bigCover of the book The Changing Governance of Higher Education and Research by

bigCover of the book Third-Generation Femtosecond Technology by

bigCover of the book Dirichlet Forms Methods for Poisson Point Measures and Lévy Processes by

bigCover of the book Low-Rank and Sparse Modeling for Visual Analysis 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