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 Antenna Design by Simulation-Driven Optimization by

bigCover of the book Measure and Integration by

bigCover of the book Fracture, Fatigue, Failure, and Damage Evolution, Volume 5 by

bigCover of the book Advances in Digital Cultural Heritage by

bigCover of the book Diaspora as Cultures of Cooperation by

bigCover of the book Tourism in Transitions by

bigCover of the book Chemistry and Food Safety in the EU by

bigCover of the book The Classification of the Virtually Cyclic Subgroups of the Sphere Braid Groups by

bigCover of the book The End of British Politics? by

bigCover of the book Advances in Cryptology – ASIACRYPT 2017 by

bigCover of the book Transgressive Humor of American Women Writers by

bigCover of the book Emancipatory and Participatory Methodologies in Peace, Critical, and Community Psychology by

bigCover of the book Diagnostic Test Accuracy Studies in Dementia 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