Computer Aided Verification

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

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 Cybercrime, Organized Crime, and Societal Responses by

bigCover of the book Energy-Efficient HVAC Design by

bigCover of the book Ultrasonography of the Upper Extremity by

bigCover of the book The Rise of Islamism in Egypt by

bigCover of the book An Introduction to Random Interlacements by

bigCover of the book 3D Echocardiography of Structural Heart Disease by

bigCover of the book The Semantics of Gradability, Vagueness, and Scale Structure by

bigCover of the book Personal Analytics and Privacy. An Individual and Collective Perspective by

bigCover of the book Dance and the Arts in Mexico, 1920-1950 by

bigCover of the book International Conference on Wireless, Intelligent, and Distributed Environment for Communication by

bigCover of the book Reliable Software for Unreliable Hardware by

bigCover of the book Linguistic Expressions and Semantic Processing by

bigCover of the book Corneal Regeneration by

bigCover of the book Introduction to Quantum Metrology by

bigCover of the book Scalable Uncertainty Management 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