Computer Aided Verification

28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, 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 Lasers in Materials Science by

bigCover of the book Holistic Active Management of Non-Performing Loans by

bigCover of the book Mathematical Methods in Engineering by

bigCover of the book Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2014 by

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

bigCover of the book Wealth, Income Inequalities, and Demography by

bigCover of the book Biomedical Applications of Acridines by

bigCover of the book Mobility, Migration and Transport by

bigCover of the book Neurological Aspects of Spinal Cord Injury by

bigCover of the book Advances in Knowledge Discovery and Data Mining by

bigCover of the book Clinical Trials in Latin America: Where Ethics and Business Clash by

bigCover of the book Experimental Innovations in Surface Science by

bigCover of the book Efficient Design of Variation-Resilient Ultra-Low Energy Digital Processors by

bigCover of the book Ultrasound of the Testis for the Andrologist 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