Computer Aided Verification

29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Nonfiction, Computers, Programming, Programming Languages, 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 The Theory and Practice of Social Machines by

bigCover of the book Biographies and Careers throughout Academic Life by

bigCover of the book Visual Knowledge Discovery and Machine Learning by

bigCover of the book Fundamentals of Power Semiconductor Devices by

bigCover of the book Regional Research Frontiers - Vol. 2 by

bigCover of the book Advanced Materials by

bigCover of the book Security and Privacy in Communication Networks by

bigCover of the book Industry 4.0: Managing The Digital Transformation by

bigCover of the book Advances in Culturally-Aware Intelligent Systems and in Cross-Cultural Psychological Studies by

bigCover of the book Republican Orators from Eisenhower to Trump by

bigCover of the book Statistical Language and Speech Processing by

bigCover of the book Green, Pervasive, and Cloud Computing by

bigCover of the book Bayesian Statistics from Methods to Models and Applications by

bigCover of the book Why Are We Attracted to Sad Music? by

bigCover of the book Fetal and Hybrid Procedures in Congenital Heart Diseases 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