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 Low-Carbon Smart Cities by

bigCover of the book New Composite Materials by

bigCover of the book Sustainable Agriculture Reviews 30 by

bigCover of the book Equitable Access to Human Biological Resources in Developing Countries by

bigCover of the book What is Fundamental? by

bigCover of the book Evolutionary Biology: Biodiversification from Genotype to Phenotype by

bigCover of the book Inclusive Smart Cities and Digital Health by

bigCover of the book Maxillofacial Imaging by

bigCover of the book Computational Nanomedicine and Nanotechnology by

bigCover of the book On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic by

bigCover of the book Italian Motherhood on Screen by

bigCover of the book Scaphoid Fractures and Nonunions by

bigCover of the book Bisphenol A Removal from Water and Wastewater by

bigCover of the book Communications and Networking by

bigCover of the book Quantitative Evaluation of Systems 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