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 Combinatorial Optimization and Applications by

bigCover of the book Computational Science – ICCS 2018 by

bigCover of the book Programming Heterogeneous MPSoCs by

bigCover of the book Ethnic Mobilization, Violence, and the Politics of Affect by

bigCover of the book Resisting Education: A Cross-National Study on Systems and School Effects by

bigCover of the book Nonlinear Resonances by

bigCover of the book Advances in Cartography and GIScience by

bigCover of the book Design-for-Test and Test Optimization Techniques for TSV-based 3D Stacked ICs by

bigCover of the book Introduction to Mechanical Engineering by

bigCover of the book Hydrodynamic and Mass Transport at Freshwater Aquatic Interfaces by

bigCover of the book Militarised Responses to Transnational Organised Crime by

bigCover of the book Software Architecture by

bigCover of the book Politics and Quality of Life by

bigCover of the book Microsensing Networks for Sustainable Cities by

bigCover of the book Induction Chemotherapy 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