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 Customer Value, Shareholder Wealth, Community Wellbeing by

bigCover of the book Large-Scale Visual Geo-Localization by

bigCover of the book Catholic and Reformed Traditions in International Law by

bigCover of the book Macroprudential Regulation and Policy for the Islamic Financial Industry by

bigCover of the book Code Breaking in the Pacific by

bigCover of the book Histopathology Specimens by

bigCover of the book Decision Support Systems IV - Information and Knowledge Management in Decision Processes by

bigCover of the book Bifurcation without Parameters by

bigCover of the book Operative Dictations in Ophthalmology by

bigCover of the book Psychotherapy for Immigrant Youth by

bigCover of the book Machine Learning in Medicine - Cookbook Three by

bigCover of the book Physical Metallurgy of Cast Irons by

bigCover of the book Microbial Applications Vol.2 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