Verified Software: Theories, Tools and Experiments

6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, 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 Compressed Sensing and Its Applications by

bigCover of the book Artificial Intelligence and Natural Language by

bigCover of the book Riemannian Computing in Computer Vision by

bigCover of the book Prospects for Biological Control of Plant Feeding Mites and Other Harmful Organisms by

bigCover of the book The Visual Language of Technique by

bigCover of the book Innovations in Biomedical Engineering by

bigCover of the book Fundamentals of Demographic Analysis: Concepts, Measures and Methods by

bigCover of the book Understanding the HIV/AIDS Epidemic in the United States by

bigCover of the book Heterocyclic N-Oxides by

bigCover of the book Lorentzian Geometry and Related Topics by

bigCover of the book Great Powers and Geopolitics by

bigCover of the book Data Privacy Management, Cryptocurrencies and Blockchain Technology by

bigCover of the book Global Responses to Domestic Violence 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