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 The Higgs Boson Discovery at the Large Hadron Collider by

bigCover of the book Sustainable Rail Transport by

bigCover of the book Chinese Water Systems by

bigCover of the book Palliative Care in Pediatric Oncology by

bigCover of the book An Invitation to Web Geometry by

bigCover of the book Excel 2016 for Marketing Statistics by

bigCover of the book Graphical Models for Security by

bigCover of the book New Frontiers of Multidisciplinary Research in STEAM-H (Science, Technology, Engineering, Agriculture, Mathematics, and Health) by

bigCover of the book Recent Advances in Delay Differential and Difference Equations by

bigCover of the book Microsensing Networks for Sustainable Cities by

bigCover of the book Marriage, the Church, and its Judges in Renaissance Venice, 1420-1545 by

bigCover of the book Scalable Big Data Analytics for Protein Bioinformatics by

bigCover of the book Reducing Burglary by

bigCover of the book Data Management Technologies and Applications by

bigCover of the book Relativity for Everyone 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