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 Graphene Oxide in Environmental Remediation Process by

bigCover of the book Theory of Liquids and Other Disordered Media by

bigCover of the book Human Mental Workload: Models and Applications by

bigCover of the book Spanish Philosophy of Technology by

bigCover of the book Digital Systems for Open Access to Formal and Informal Learning by

bigCover of the book Exploring Robotics with ROBOTIS Systems by

bigCover of the book Atlas of Animal Anatomy and Histology by

bigCover of the book The Rise and Fall of Emerging Powers by

bigCover of the book Phenomenology of Suicide by

bigCover of the book Systems, Software and Services Process Improvement by

bigCover of the book The State of Deformation in Earthlike Self-Gravitating Objects by

bigCover of the book Intelligent Computing Theories and Application by

bigCover of the book Auditing, Assurance Services, and Forensics by

bigCover of the book Proceedings of the 3rd International Symposium on Big Data and Cloud Computing Challenges (ISBCC – 16’) by

bigCover of the book Digital Libraries for Open Knowledge 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