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 Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. Human Body and Motion by

bigCover of the book Newton-Type Methods for Optimization and Variational Problems by

bigCover of the book Trace-Based Post-Silicon Validation for VLSI Circuits by

bigCover of the book This Changes Everything – ICT and Climate Change: What Can We Do? by

bigCover of the book Memory Politics, Identity and Conflict by

bigCover of the book Towards Energy Transparent Factories by

bigCover of the book Metaphorical Signs in Computed Tomography of Chest and Abdomen by

bigCover of the book Contemporary Challenges of Transport Systems and Traffic Engineering by

bigCover of the book Proceedings of the European Conference on Complex Systems 2012 by

bigCover of the book Sentic Computing by

bigCover of the book Balancing Individualism and Collectivism by

bigCover of the book Designing Pilot Projects as Boundary Objects by

bigCover of the book On the Economic Significance of the Catholic Social Doctrine by

bigCover of the book Mobile Networks for Biometric Data Analysis by

bigCover of the book Advances in Cryptology – EUROCRYPT 2019 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