Verified Software. Theories, Tools, and Experiments

8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers

Nonfiction, Computers, 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 EuroKarst 2016, Neuchâtel by

bigCover of the book Applications of Ion Exchange Materials in Chemical and Food Industries by

bigCover of the book Pituitary Adenylate Cyclase Activating Polypeptide — PACAP by

bigCover of the book Rare Metal Technology 2018 by

bigCover of the book Energy Efficient Smart Phones for 5G Networks by

bigCover of the book The Complex Itinerary of Leibniz’s Planetary Theory by

bigCover of the book Memory and Confession in Middle English Literature by

bigCover of the book Advances in Physical Ergonomics and Human Factors by

bigCover of the book Resources for Teaching Mindfulness by

bigCover of the book Carbohydrate-Based Interactions at the Molecular and the Cellular Level by

bigCover of the book Causal Overdetermination and Contextualism by

bigCover of the book Heidegger's Poetic Projection of Being by

bigCover of the book The Semantic Web. Latest Advances and New Domains by

bigCover of the book Applications of Social Media and Social Network Analysis by

bigCover of the book Research in Computational Molecular Biology 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