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 Civil War and Narrative by

bigCover of the book Data Preprocessing in Data Mining by

bigCover of the book Indicator-Based Monitoring of Regional Economic Integration by

bigCover of the book September 11, 2001 as a Cultural Trauma by

bigCover of the book Information Retrieval by

bigCover of the book Mental Health and Older People by

bigCover of the book Complexity in Entrepreneurship, Innovation and Technology Research by

bigCover of the book The Statistical Physics of Fixation and Equilibration in Individual-Based Models by

bigCover of the book High Performance Computing in Science and Engineering by

bigCover of the book Advanced Data Mining and Applications by

bigCover of the book Advances in Intelligent Networking and Collaborative Systems by

bigCover of the book Autonomous Robotics and Deep Learning by

bigCover of the book Fuzzy Logic of Quasi-Truth: An Algebraic Treatment by

bigCover of the book Multichannel Commerce by

bigCover of the book Student Entrepreneurship in the Social Knowledge Economy 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