Verified Software. Theories, Tools, and Experiments

9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

Nonfiction, Computers, Advanced Computing, Computer Science, 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 Video Analytics. Face and Facial Expression Recognition and Audience Measurement by

bigCover of the book Fish4Knowledge: Collecting and Analyzing Massive Coral Reef Fish Video Data by

bigCover of the book Resistance to Immunotoxins in Cancer Therapy by

bigCover of the book Excel 2013 for Educational and Psychological Statistics by

bigCover of the book Mixed-Race Politics and Neoliberal Multiculturalism in South Korean Media by

bigCover of the book SOFSEM 2017: Theory and Practice of Computer Science by

bigCover of the book Managing Data From Knowledge Bases: Querying and Extraction by

bigCover of the book Microbial Applications Vol.2 by

bigCover of the book Optimization of Structures and Components by

bigCover of the book Vitreoretinal Surgery: Strategies and Tactics by

bigCover of the book Emergent Knowledge Strategies by

bigCover of the book Educational Media and Technology Yearbook by

bigCover of the book Fuzzy Logic and Information Fusion by

bigCover of the book Information Fusion and Intelligent Geographic Information Systems (IF&IGIS'17) by

bigCover of the book Digital Technology and Organizational Change 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