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 Advances in Swarm Intelligence by

bigCover of the book Public Choice Analyses of American Economic History by

bigCover of the book E-Democracy: Citizen Rights in the World of the New Computing Paradigms by

bigCover of the book Psychosocial Factors at Work in the Asia Pacific by

bigCover of the book Nursing Care and ECMO by

bigCover of the book Agent-Based Modeling of Social Conflict by

bigCover of the book E-Learning in the Workplace by

bigCover of the book Land Allocation for Biomass Crops by

bigCover of the book Adaptive Biometric Systems by

bigCover of the book Cardiovascular Safety in Drug Development and Therapeutic Use by

bigCover of the book Clinical Image-Based Procedures. Translational Research in Medical Imaging by

bigCover of the book Artificial Intelligence in IoT by

bigCover of the book Animal Perception and Literary Language by

bigCover of the book Persuasive Technology: Development and Implementation of Personalized Technologies to Change Attitudes and Behaviors by

bigCover of the book Cultivating Compassion 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