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 Heidegger and the Lived Experience of Being a University Educator by

bigCover of the book Parallel Processing and Applied Mathematics by

bigCover of the book Women, Religion, and the Gift by

bigCover of the book Computer Vision – ECCV 2018 by

bigCover of the book Phosphate Solubilizing Microorganisms by

bigCover of the book Analog-and-Algorithm-Assisted Ultra-low Power Biosignal Acquisition Systems by

bigCover of the book Labour Market and Fiscal Policy Adjustments to Shocks by

bigCover of the book European Yearbook of International Economic Law 2016 by

bigCover of the book EMI-Resilient Amplifier Circuits by

bigCover of the book Remote Sensing of Hydrological Extremes by

bigCover of the book Leader Development Deconstructed by

bigCover of the book Environmental Indicators in Metal Mining by

bigCover of the book The New Normal of Working Lives by

bigCover of the book Encouraging Openness by

bigCover of the book Meta-Analysis with R 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