Computer Aided Verification

29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, 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 Protecting Human Rights Defenders in Latin America by

bigCover of the book History and Evolution of Concepts in Physics by

bigCover of the book Parental Roles and Relationships in Immigrant Families by

bigCover of the book Morphogenesis and the Crisis of Normativity by

bigCover of the book The Evaluators’ Eye by

bigCover of the book SpaceX's Dragon: America's Next Generation Spacecraft by

bigCover of the book Critical Mindfulness by

bigCover of the book Understanding Acoustics by

bigCover of the book Tree and Forest Measurement by

bigCover of the book Neurological Disorders in Clinical Practice by

bigCover of the book Thomas Hardy and History by

bigCover of the book Handbook of Convex Optimization Methods in Imaging Science by

bigCover of the book Stem Cell Biology in Neoplasms of the Central Nervous System by

bigCover of the book Current Common Dilemmas in Colorectal Surgery 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