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 Computer Vision -- ACCV 2014 by

bigCover of the book Social Network Analysis Applied to Team Sports Analysis by

bigCover of the book Electronic Government and the Information Systems Perspective by

bigCover of the book Engineering Trustworthy Software Systems by

bigCover of the book Credit Rating Agencies by

bigCover of the book Physical Sciences and Engineering Advances in Life Sciences and Oncology by

bigCover of the book Critical Capacity Development by

bigCover of the book Fundamentals of Electronic Systems Design by

bigCover of the book A Journey through Manufacturing and Supply Chain Strategy Research by

bigCover of the book Gastrointestinal Motility Disorders by

bigCover of the book Applications of Formal Philosophy by

bigCover of the book Climate Change and Rocky Mountain Ecosystems by

bigCover of the book Undecided Nation by

bigCover of the book Women Writing Fancy 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