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 Advances in Applied Digital Human Modeling and Simulation by

bigCover of the book Head and Neck Cancer by

bigCover of the book Botswana – A Modern Economic History by

bigCover of the book Shakespeare and Conceptual Blending by

bigCover of the book Smart Blockchain by

bigCover of the book Active Interrogation in Nuclear Security by

bigCover of the book MRI of the Pituitary Gland by

bigCover of the book Rhetoric, Social Value and the Arts by

bigCover of the book Korean Women, Self-Esteem, and Practical Theology by

bigCover of the book Handbook of Sepsis by

bigCover of the book Creating Models in Psychological Research by

bigCover of the book Business Ethics Education and the Pragmatic Pursuit of the Good by

bigCover of the book Exercise in Space by

bigCover of the book Free Speech and the State 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