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 The Aesthetics of Dress by

bigCover of the book Security and the Networked Society by

bigCover of the book Nico Stehr: Pioneer in the Theory of Society and Knowledge by

$bigCover of the book Development of an Ultrafast Low-Energy Electron Diffraction Setup by$

bigCover of the book Acoustics, Information, and Communication by

bigCover of the book Advances in Variable Structure Systems and Sliding Mode Control—Theory and Applications by

bigCover of the book Innovations in Bio-Inspired Computing and Applications by

bigCover of the book Dictionary of Rheumatology by

bigCover of the book Applied Reconfigurable Computing. Architectures, Tools, and Applications by

bigCover of the book Software Engineering Perspectives and Application in Intelligent Systems by

bigCover of the book Mechanism, Machine, Robotics and Mechatronics Sciences by

bigCover of the book Using Comparable Corpora for Under-Resourced Areas of Machine Translation 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