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 The Palgrave Handbook of Languages and Conflict by

bigCover of the book Architecture and Interaction by

bigCover of the book A Novel Lidar Ceilometer by

bigCover of the book The Feeling of Certainty by

bigCover of the book 5-HT2A Receptors in the Central Nervous System by

bigCover of the book Database and Expert Systems Applications by

bigCover of the book Simulation in Healthcare Education by

bigCover of the book MicroRNAs and Other Non-Coding RNAs in Inflammation by

bigCover of the book Combined Cycle Driven Efficiency for Next Generation Nuclear Power Plants by

bigCover of the book The Urban Transport Crisis in Emerging Economies by

bigCover of the book Sports and The Global South by

bigCover of the book Energy Efficient Data Centers by

bigCover of the book Trust in Nuclear Disarmament Verification by

bigCover of the book Concrete Durability 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