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 Playing Around Resonance by

bigCover of the book Towards a Sustainable Bioeconomy: Principles, Challenges and Perspectives by

bigCover of the book Temperature and Frequency Dependence of Complex Permittivity in Metal Oxide Dielectrics: Theory, Modelling and Measurement by

bigCover of the book Handbook of Consultation-Liaison Psychiatry by

bigCover of the book Trends and Challenges in Digital Business Innovation by

bigCover of the book Trajectory Anomalies in Interplanetary Spacecraft by

bigCover of the book Neurolaryngology by

bigCover of the book Finding New Ways to Engage and Satisfy Global Customers by

bigCover of the book Proceedings of 5th International Conference on Advanced Manufacturing Engineering and Technologies by

bigCover of the book Holocaust Archaeologies by

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

bigCover of the book Organizational Trust by

bigCover of the book Social Cohesion in the Western World by

bigCover of the book Being Really Virtual 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