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 Entrepreneurship, Regional Development and Culture by

bigCover of the book The Future of Europe by

bigCover of the book Biodiesel Production with Green Technologies by

bigCover of the book Mortality in an International Perspective by

bigCover of the book Smart Data and Computational Intelligence by

bigCover of the book Social Media and Emerging Economies by

bigCover of the book Computational Aspects and Applications in Large-Scale Networks by

bigCover of the book Building Bridges: Connections and Challenges in Modern Approaches to Numerical Partial Differential Equations by

bigCover of the book Sensing the Past by

bigCover of the book Ted Hughes: Environmentalist and Ecopoet by

bigCover of the book Higher Education and Police by

bigCover of the book Death Across Cultures by

bigCover of the book Marian Devotions, Political Mobilization, and Nationalism in Europe and America by

bigCover of the book Pediatric Endocrinology by

bigCover of the book The Bleak Political Implications of Socratic Religion 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