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 International Public Procurement by

bigCover of the book Hegel, Marx, and the Necessity and Freedom Dialectic by

bigCover of the book Operational Symmetries by

bigCover of the book Unconventional Methods for Oil & Gas Exploration in Cuba by

bigCover of the book Recent Advances in Electrical Engineering and Control Applications by

bigCover of the book Phenomenology in a New Key: Between Analysis and History by

bigCover of the book Positive Systems by

bigCover of the book Memories of Gustav Ichheiser by

bigCover of the book Building-Integrated Photovoltaic Systems (BIPVS) by

bigCover of the book Applying Public Opinion in Governance by

bigCover of the book Promoting Canadian Studies Abroad by

bigCover of the book Magnetic Interactions in Molecules and Solids by

bigCover of the book Complex Analysis for Practical Engineering by

bigCover of the book Fixed Point Theory in Distance Spaces by

bigCover of the book The Bonn Handbook of Globality 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