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 Caring in Crisis? Humanitarianism, the Public and NGOs by

bigCover of the book The Saudi Arabian Monetary Agency, 1952-2016 by

bigCover of the book EPFL Lectures on Conformal Field Theory in D ≥ 3 Dimensions by

bigCover of the book Digital Transformation: Challenges and Opportunities by

bigCover of the book Nonlinear Elastic Waves in Materials by

bigCover of the book Web Information Systems Engineering – WISE 2018 by

bigCover of the book Innovative Practices in Language Teacher Education by

bigCover of the book Toward Sustainable Operations of Supply Chain and Logistics Systems by

bigCover of the book Diversity in Survey Questions on the Same Topic by

bigCover of the book Emerging Technologies in Computing by

bigCover of the book Current Strategies in Cancer Gene Therapy by

bigCover of the book Creating Organizational Value through Dialogical Leadership by

bigCover of the book Emotion in Games by

bigCover of the book Appraisal: From Theory to Practice by

bigCover of the book Art, Creativity, and Politics in Africa and the Diaspora 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