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
Big bigCover of Verified Software. Theories, Tools, and Experiments

More books from Springer International Publishing

bigCover of the book Nationalism and the Haram al-Sharif/Temple Mount by
bigCover of the book Bernstein Operators and Their Properties by
bigCover of the book Precancerous Lesions of the Gynecologic Tract by
bigCover of the book Real-time Monitoring and Operational Control of Drinking-Water Systems by
bigCover of the book 8th International Conference on Engineering, Project, and Product Management (EPPM 2017) by
bigCover of the book Buddhist Foundations of Mindfulness by
bigCover of the book Gender Issues in Business and Economics by
bigCover of the book Warm-Temperate Deciduous Forests around the Northern Hemisphere by
bigCover of the book Practical Issues Updates in Anesthesia and Intensive Care by
bigCover of the book Lightweight Cryptography for Security and Privacy by
bigCover of the book Holistic Pedagogy by
bigCover of the book Application of Management Theories for STEM Education by
bigCover of the book Nanofabrication by
bigCover of the book Value Chains in Sub-Saharan Africa by
bigCover of the book Foundations of the Complex Variable Boundary Element Method 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