Verified Software. Theories, Tools, and Experiments

8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, 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 Mathematical and Computational Approaches in Advancing Modern Science and Engineering by

bigCover of the book Smart Multimedia by

bigCover of the book From Social Data Mining and Analysis to Prediction and Community Detection by

bigCover of the book OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence by

bigCover of the book Non-Associative and Non-Commutative Algebra and Operator Theory by

bigCover of the book Electronic Word of Mouth (eWOM) in the Marketing Context by

bigCover of the book Berichte zu Pflanzenschutzmitteln 2014 by

bigCover of the book Ergodic Theory and Negative Curvature by

bigCover of the book Millimeter-Wave Antennas: Configurations and Applications by

bigCover of the book Think Tanks, Foreign Policy and the Emerging Powers by

bigCover of the book Fetal, Infant and Ophthalmic Medical Image Analysis by

bigCover of the book Mobile Cloud Visual Media Computing by

bigCover of the book Learning and Intelligent Optimization by

bigCover of the book Green Transportation Logistics 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