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 Bernard de Mandeville's Tropology of Paradoxes by

bigCover of the book Lobar Approach to Breast Ultrasound by

bigCover of the book Disorders of Thrombosis and Hemostasis in Pregnancy by

bigCover of the book Geological Setting, Palaeoenvironment and Archaeology of the Red Sea by

bigCover of the book North-South University Research Partnerships in Latin America and the Caribbean by

bigCover of the book The Age of Figurative Theo-humanism by

bigCover of the book Advances in Plant Dormancy by

bigCover of the book Chlamydomonas: Biotechnology and Biomedicine by

bigCover of the book Advances in Ergonomics in Design by

bigCover of the book Elective Language Study and Policy in Israel by

bigCover of the book Special Topics in Structural Dynamics, Volume 6 by

bigCover of the book Handbook on Positive Development of Minority Children and Youth by

bigCover of the book Advances in Social & Occupational Ergonomics 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