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 Black Masculinity and the Cinema of Policing by

bigCover of the book Queerness in Play by

bigCover of the book Supply Chain Finance and Blockchain Technology by

bigCover of the book University Community Engagement and Lifelong Learning by

bigCover of the book Why Religion and Spirituality Matter for Public Health by

bigCover of the book Quantitative Methods in Environmental and Climate Research by

bigCover of the book Value Chain Marketing by

bigCover of the book Smart Card Research and Advanced Applications by

bigCover of the book Large-Scale Conservation in the Common Interest by

bigCover of the book Obesity, Type 2 Diabetes and the Adipose Organ by

bigCover of the book Primer to Analysis of Genomic Data Using R by

bigCover of the book Building Virtual Communities of Practice for Distance Educators by

bigCover of the book Three Domain Modelling and Uncertainty Analysis by

bigCover of the book Introduction to the Physics of Matter by

bigCover of the book Fish Hearing and Bioacoustics 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