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 Semigroups of Operators -Theory and Applications by

bigCover of the book Arab Women and the Media in Changing Landscapes by

bigCover of the book Research and Development in Intelligent Systems XXXII by

bigCover of the book Advances in The Human Side of Service Engineering by

bigCover of the book Policy Analysis of Structural Reforms in Higher Education by

bigCover of the book Informed Architecture by

bigCover of the book A Second-Order ΣΔ ADC Using Sputtered IGZO TFTs by

bigCover of the book The Genomes of Rosaceous Berries and Their Wild Relatives by

bigCover of the book Music Interventions for Neurodevelopmental Disorders by

bigCover of the book X-ray Nanochemistry by

bigCover of the book The Auschwitz Sonderkommando by

bigCover of the book Asymptotical Mechanics of Composites by

bigCover of the book Protecting Children Against Bullying and Its Consequences by

bigCover of the book Advanced Data Mining and Applications by

bigCover of the book Automatically Ordering Events and Times in Text 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