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 The 4th Industrial Revolution by

bigCover of the book Image and Graphics by

bigCover of the book Partial Stabilization and Control of Distributed Parameter Systems with Elastic Elements by

bigCover of the book Perception, Affectivity, and Volition in Husserl’s Phenomenology by

bigCover of the book The Future of Law and eTechnologies by

bigCover of the book Enterprise Governance of Information Technology by

bigCover of the book Between Trauma and the Sacred by

bigCover of the book Tropical Hemato-Oncology by

bigCover of the book Democracy after the Internet - Brazil between Facts, Norms, and Code by

bigCover of the book AI Injected e-Learning by

bigCover of the book Environmental Geoinformatics by

bigCover of the book From Bioinspired Systems and Biomedical Applications to Machine Learning by

bigCover of the book Critical Systems: Formal Methods and Automated Verification by

bigCover of the book Dollarization and De-dollarization in Transitional Economies of Southeast Asia by

bigCover of the book Heat Transfer Enhancement in Plate and Fin Extended Surfaces 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