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 Computer Vision – ECCV 2018 Workshops by

bigCover of the book Learning and Innovation in Hybrid Organizations by

bigCover of the book Grouping Genetic Algorithms by

bigCover of the book Ordered Data Analysis, Modeling and Health Research Methods by

bigCover of the book Thermodynamics In Nuclear Power Plant Systems by

bigCover of the book Oil Pollution in the North Sea by

bigCover of the book Applications of EPR in Radiation Research by

bigCover of the book Building an Effective IoT Ecosystem for Your Business by

bigCover of the book Nanomaterials in Extreme Environments by

bigCover of the book Social Coordination Frameworks for Social Technical Systems by

bigCover of the book Compact Antennas for High Data Rate Communication by

bigCover of the book Health Literacy and Child Health Outcomes by

bigCover of the book Directed Energy Weapons 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