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 ICREGA’14 - Renewable Energy: Generation and Applications by

bigCover of the book Technologies for Sustainable Development by

bigCover of the book Nonlinear Analysis - Theory and Methods by

bigCover of the book The Role of Trust in Conflict Resolution by

bigCover of the book Excel 2013 for Human Resource Management Statistics by

bigCover of the book Life Cycle Assessment by

bigCover of the book Online Harassment by

bigCover of the book The Fragility of Tolerant Pluralism by

bigCover of the book Patterns of Treaty Interpretation as Anti-Fragmentation Tools by

bigCover of the book De Sitter Projective Relativity by

bigCover of the book The Theory of Nilpotent Groups by

bigCover of the book Experiences from Surface Water Quality Monitoring by

bigCover of the book Progress in Turbulence VI by

bigCover of the book The Biblical Accommodation Debate in Germany 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