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 Economic Cycles in Emerging and Advanced Countries by

bigCover of the book Love and Sex with Robots by

bigCover of the book Greece in Early English Travel Writing, 1596–1682 by

bigCover of the book Uncharted Constellations by

bigCover of the book Fusion of Smart, Multimedia and Computer Gaming Technologies by

bigCover of the book Proceedings of the 16th International Conference on Hybrid Intelligent Systems (HIS 2016) by

bigCover of the book The Hip and Pelvis in Sports Medicine and Primary Care by

bigCover of the book Sugarcane Biotechnology: Challenges and Prospects by

bigCover of the book The Philosophy of Science and Engineering Design by

bigCover of the book Paradoxes of Conflicts by

bigCover of the book Fluid and Thermodynamics by

bigCover of the book Acute Side Effects of Radiation Therapy by

bigCover of the book Information Technologies in Medicine by

bigCover of the book Multi-Criteria Decision Analysis to Support Healthcare Decisions by

bigCover of the book Absolute Nephrology Review 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