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 OB-GYN Pathology for the Clinician by

bigCover of the book Information Security and Cryptology by

bigCover of the book Governance Ethics: Global value creation, economic organization and normativity by

bigCover of the book Poetry And Imagined Worlds by

bigCover of the book Human Rights, Transitional Justice, and the Reconstruction of Political Order in Latin America by

bigCover of the book Minimal Free Resolutions over Complete Intersections by

bigCover of the book Taxation in European Union by

bigCover of the book The Factors Effecting Student Achievement by

bigCover of the book Reviews of Environmental Contamination and Toxicology Volume 249 by

bigCover of the book Summability Calculus by

bigCover of the book Direct and Large-Eddy Simulation X by

bigCover of the book Population Genetics and Belonging by

bigCover of the book Family Businesses in the Arab World by

bigCover of the book Atlas of Wide-Field Retinal Angiography and Imaging by

bigCover of the book Modelling Aging and Migration Effects on Spatial Labor Markets 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