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 Shock Wave Interactions by

bigCover of the book Retrying Leopold and Loeb by

bigCover of the book Psychosocial Risks in Labour and Social Security Law by

bigCover of the book Obstetric Emergencies by

bigCover of the book Balanced and Cyclical Growth in Models of Decentralized Economy by

bigCover of the book Ageing: Lessons from C. elegans by

bigCover of the book Antisemitism Before and Since the Holocaust by

bigCover of the book Computational Modeling of Objects Presented in Images by

bigCover of the book Practical Mathematical Optimization by

bigCover of the book Medicine and Business by

bigCover of the book The Latest Methods of Construction Design by

bigCover of the book J.W.R. Whitehand and the Historico-geographical Approach to Urban Morphology by

bigCover of the book Coherent Structures in Granular Crystals by

bigCover of the book Information Systems, Logistics, and Supply Chain by

bigCover of the book BNAIC 2016: Artificial Intelligence 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