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 Three Worlds of Collective Human Experience: Individual Life, Social Change, and Human Evolution by

bigCover of the book New Approaches in Intelligent Image Analysis by

bigCover of the book Redemptive Leadership by

bigCover of the book Animal Models of Ophthalmic Diseases by

bigCover of the book Computational Sustainability by

bigCover of the book Descriptional Complexity of Formal Systems by

bigCover of the book Nonsmooth Mechanics by

bigCover of the book Computer Vision – ECCV 2016 by

bigCover of the book Architecting User-Centric Privacy-as-a-Set-of-Services by

bigCover of the book Chinese Porcelain in Colonial Mexico by

bigCover of the book Anticipation Across Disciplines by

bigCover of the book Neuroscience and Social Science by

bigCover of the book Oceanography of the East Sea (Japan Sea) by

bigCover of the book Modern Trends in Cartography 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