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 Surgical Emergencies in the Cancer Patient by

bigCover of the book Pulmonary Vasculature Redox Signaling in Health and Disease by

bigCover of the book Multi-shell Polyhedral Clusters by

bigCover of the book New Trends in Medical and Service Robots by

bigCover of the book Irreversible Electroporation in Clinical Practice by

bigCover of the book Autonomic Road Transport Support Systems by

bigCover of the book Constant-Sign Solutions of Systems of Integral Equations by

bigCover of the book Astronomy at High Angular Resolution by

bigCover of the book Trends in Contemporary Mathematics by

bigCover of the book Simulation and Modeling Methodologies, Technologies and Applications by

bigCover of the book Popular Participation in Japanese Criminal Justice by

bigCover of the book Space Architecture Education for Engineers and Architects by

bigCover of the book Atlas of Upper Extremity Trauma by

bigCover of the book Sensors for Everyday Life by

bigCover of the book Geometric Science of Information 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