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 Recent Advances in Mechanism Design for Robotics by

bigCover of the book Sustainable Agriculture Reviews by

bigCover of the book Combinatorial Optimization and Applications by

bigCover of the book Mathematical Models for Suspension Bridges by

bigCover of the book Human Interference on River Health by

bigCover of the book The World We Live In by

bigCover of the book Service-Oriented Computing by

bigCover of the book Native Tissue Repair for Incontinence and Prolapse by

bigCover of the book Modelling in Life Insurance – A Management Perspective by

bigCover of the book Faster than Nyquist Signaling by

bigCover of the book Getting It Right in Science and Medicine by

bigCover of the book Seismic Isolation, Structural Health Monitoring, and Performance Based Seismic Design in Earthquake Engineering by

bigCover of the book Responsible Innovation 2 by

bigCover of the book Entransy in Phase-Change Systems by

bigCover of the book High Performance Natural Fiber-Nanoclay Reinforced Cement Nanocomposites 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