Computer Aided Verification

27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

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 Computer Aided Verification

More books from Springer International Publishing

bigCover of the book Advances in Neural Networks – ISNN 2018 by

bigCover of the book Security in Wireless Sensor Networks by

bigCover of the book Developments in the Flow of Complex Fluids in Tubes by

bigCover of the book Cropping Pattern Modification to Overcome Abiotic Stresses by

bigCover of the book Narcissism at Work by

bigCover of the book Nanostructured Piezoelectric Energy Harvesters by

bigCover of the book Austerity & Democracy in Athens by

bigCover of the book Trump’s Media War by

bigCover of the book Context-Aware Systems and Applications, and Nature of Computation and Communication by

bigCover of the book Spiritually and Developmentally Mature Leadership by

bigCover of the book Recent Advances in Evolutionary Multi-objective Optimization by

bigCover of the book Managing Risk in Nanotechnology by

bigCover of the book The Role of Self-Esteem in Foreign Language Learning and Teaching by

bigCover of the book Reliability Design of Mechanical Systems 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