Computer Aided Verification

28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, 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 Computer Vision – ECCV 2016 by

bigCover of the book Ultrafast Nonlinear Optics by

bigCover of the book Advanced Intelligent Systems for Sustainable Development (AI2SD’2018) by

bigCover of the book Symmetries and Dynamics of Star Clusters by

bigCover of the book Biogenic—Abiogenic Interactions in Natural and Anthropogenic Systems by

bigCover of the book Environmentally Responsible Supply Chains by

bigCover of the book Frontiers in Pen and Touch by

bigCover of the book Target Volume Delineation for Conformal and Intensity-Modulated Radiation Therapy by

bigCover of the book Revolutionary Committees in the Cultural Revolution Era of China by

bigCover of the book Pediatric Digestive Surgery by

bigCover of the book Orthopedic Traumatology by

bigCover of the book Comprehensive Guide to Neurosurgical Conditions by

bigCover of the book Sub-Riemannian Geometry and Optimal Transport by

bigCover of the book Development Patterns of Material Productivity 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