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 Mindfulness-Based Cognitive Therapy by

bigCover of the book Social, Cultural, and Behavioral Modeling by

bigCover of the book Multinational Interest & Development in Africa by

bigCover of the book Green, Pervasive, and Cloud Computing by

bigCover of the book AMP-activated Protein Kinase by

bigCover of the book Cenozoic Volcanism in the Tyrrhenian Sea Region by

bigCover of the book Sustainable Electricity II by

bigCover of the book Genomic Designing of Climate-Smart Oilseed Crops by

bigCover of the book Building Performance Evaluation by

bigCover of the book Neural Information Processing by

bigCover of the book Sovereign Debt Crises and Negotiations in Brazil and Mexico, 1888-1914 by

bigCover of the book Financial Market Bubbles and Crashes, Second Edition by

bigCover of the book Spinal Canal Stenosis by

bigCover of the book Layered Two-Dimensional Heterostructures and Their Tunneling Characteristics 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