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 Triple-Negative Breast Cancer by
bigCover of the book Data Visualization and Knowledge Engineering by
bigCover of the book Challenging Cases and Complication Management in Pain Medicine by
bigCover of the book Integration of AI and OR Techniques in Constraint Programming by
bigCover of the book Pervasive Computing Paradigms for Mental Health by
bigCover of the book Mediterranean Cities and Island Communities by
bigCover of the book Free Speech and False Speech by
bigCover of the book Menopause by
bigCover of the book The Presidentialisation of Political Parties in the Western Balkans by
bigCover of the book A Guide to Integrative Pediatrics for the Healthcare Professional by
bigCover of the book Cord Blood Transplantations by
bigCover of the book Optimization, Control, and Applications in the Information Age by
bigCover of the book Financial Market Bubbles and Crashes, Second Edition by
bigCover of the book Deep Brain Stimulation for Neurological Disorders by
bigCover of the book Sports Science Research and Technology Support 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