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 Heat Transfer of Laminar Mixed Convection of Liquid by

bigCover of the book Advances in Intelligent Data Analysis XV by

bigCover of the book Complexity in Economics: Cutting Edge Research by

bigCover of the book Serious Games Analytics by

bigCover of the book Foundational Aspects of Family-School Partnership Research by

bigCover of the book Web-Age Information Management by

bigCover of the book Direct Methods for Limit and Shakedown Analysis of Structures by

bigCover of the book Shakespeare and Conceptual Blending by

bigCover of the book Normativity in Legal Sociology by

bigCover of the book Creating the Future? The 1960s New English Universities by

bigCover of the book Gravitational Atlas of Antarctica by

bigCover of the book Pancreatic Masses by

bigCover of the book Plant Programmed Cell Death by

bigCover of the book A Mathematical Perspective on Flight Dynamics and Control by

bigCover of the book Computer Vision - ACCV 2014 Workshops 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