Verified Software: Theories, Tools, and Experiments

7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. 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 Naturalists, Explorers and Field Scientists in South-East Asia and Australasia by

bigCover of the book Nanoscale Biophysics of the Cell by

bigCover of the book Crime Prevention in the 21st Century by

bigCover of the book Effective Coaching, and the Fallacy of Sustainable Change by

bigCover of the book Trends and Advances in Information Systems and Technologies by

bigCover of the book Childhood Acute Lymphoblastic Leukemia by

bigCover of the book Reassessing Riemann's Paper by

bigCover of the book Handbook of Contemporary Sociological Theory by

bigCover of the book Reviews of Environmental Contamination and Toxicology Volume 228 by

bigCover of the book Proceedings of the Second International Afro-European Conference for Industrial Advancement AECIA 2015 by

bigCover of the book Internet of Things and Smart Environments by

bigCover of the book Toward Sustainable Relations Between Agriculture and the City by

bigCover of the book Engineering Safe and Secure Cyber-Physical Systems by

bigCover of the book Benchmarking Collaborative Networks 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