Verified Software: Theories, Tools, and Experiments

7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

Nonfiction, Computers, 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 Computer Assisted Assessment. Research into E-Assessment by

bigCover of the book Child Refugee Asylum as a Basic Human Right by

bigCover of the book The Restoration of the Jews: Early Modern Hermeneutics, Eschatology, and National Identity in the Works of Thomas Brightman by

bigCover of the book Reviews of Physiology, Biochemistry and Pharmacology, Vol. 171 by

bigCover of the book Histophilus somni by

bigCover of the book Earths of Distant Suns by

bigCover of the book Secure Data Management by

bigCover of the book Mathematical Modeling and Applications in Nonlinear Dynamics by

bigCover of the book Pediatric Orthopedics by

bigCover of the book The Musical-Mathematical Mind by

bigCover of the book Human Agency and Behavioral Economics by

bigCover of the book Incompressible Bipolar and Non-Newtonian Viscous Fluid Flow by

bigCover of the book Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing by

bigCover of the book Evolution of Smart Grids 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