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 Computational Intelligence in Digital and Network Designs and Applications by

bigCover of the book Concise Computer Mathematics by

bigCover of the book Formal Techniques for Distributed Objects, Components, and Systems by

bigCover of the book Web Information Systems and Technologies by

bigCover of the book Critical Analyses of Educational Reforms in an Era of Transnational Governance by

bigCover of the book Correlation Force Spectroscopy for Single Molecule Measurements by

bigCover of the book Interactive Storytelling by

bigCover of the book Introduction to Geospatial Information and Communication Technology (GeoICT) by

bigCover of the book Hidden Inequalities in the Workplace by

bigCover of the book Research on Teacher Identity by

bigCover of the book Biosystems Engineering: Biofactories for Food Production in the Century XXI by

bigCover of the book Female Delinquency From Childhood To Young Adulthood by

bigCover of the book Political Phenomenology by

bigCover of the book Transport of Energetic Electrons in Solids by

bigCover of the book Psychoanalysis of Evil 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