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 Re-activation of Vacant Retail Spaces by

bigCover of the book Probability Collectives by

bigCover of the book Nonlinear Circuits and Systems for Neuro-inspired Robot Control by

bigCover of the book Domain Decomposition Methods in Science and Engineering XXIII by

bigCover of the book Natural Convective Heat Transfer from Short Inclined Cylinders by

bigCover of the book Phacoemulsification Cataract Surgery by

bigCover of the book Cohesive Subgraph Computation over Large Sparse Graphs by

bigCover of the book A Rights-Based Approach to Social Policy Analysis by

bigCover of the book Data Management Technologies and Applications by

bigCover of the book Tectonics and Structural Geology: Indian Context by

bigCover of the book Health Economics from Theory to Practice by

bigCover of the book Mathematics for Natural Scientists II by

bigCover of the book Nanotechnology in Oil and Gas Industries by

bigCover of the book Attitudes Towards Europe Beyond Euroscepticism by

bigCover of the book Urban Sustainability through Smart Growth 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