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 Advances in Genetic Enhancement of Early and Extra-Early Maize for Sub-Saharan Africa by

bigCover of the book Database Systems for Advanced Applications by

bigCover of the book Business Modeling and Software Design by

bigCover of the book Molecular Targets and Strategies in Cancer Prevention by

bigCover of the book Core Concepts and Contemporary Issues in Privacy by

bigCover of the book An Unamendable Constitution? by

bigCover of the book Stochastic Dynamics and Irreversibility by

bigCover of the book Exosomes, Stem Cells and MicroRNA by

bigCover of the book Non-Circular Journal Bearings by

bigCover of the book Feminism in Play by

bigCover of the book Activation of Viruses by Host Proteases by

bigCover of the book Growing Stock Volume Estimation in Temperate Forested Areas Using a Fusion Approach with SAR Satellites Imagery by

bigCover of the book Research Advances in the Mathematical Education of Pre-service Elementary Teachers 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