Computer Aided Verification

28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

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 Systemic Fibroinflammatory Disorders by

bigCover of the book Gender and Public Participation in Afghanistan by

bigCover of the book Divorce in Transnational Families by

bigCover of the book Advances in Metaheuristic Algorithms for Optimal Design of Structures by

bigCover of the book Visualization and Processing of Higher Order Descriptors for Multi-Valued Data by

bigCover of the book The Life Story of an Infrared Telescope by

bigCover of the book Arterial Chemoreceptors in Physiology and Pathophysiology by

bigCover of the book The Stair-Step Approach in Mathematics by

bigCover of the book Advances in Knowledge Discovery and Data Mining by

bigCover of the book Metal-Matrix Composites Innovations, Advances and Applications by

bigCover of the book Advanced Microsystems for Automotive Applications 2013 by

bigCover of the book Wireless and Satellite Systems by

bigCover of the book Advances in Italian Mechanism Science by

bigCover of the book Replicating Atonement 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