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 Electrophysiology and Psychophysiology in Psychiatry and Psychopharmacology by

bigCover of the book Gender and Family in European Economic Policy by

bigCover of the book Global Perspectives of Nanoscience and Engineering Education by

bigCover of the book Handbook of Ripple Effects in the Supply Chain by

bigCover of the book On the Effect of Offshore Wind Farms on the Atmosphere and Ocean Dynamics by

bigCover of the book Reproducible Research in Pattern Recognition by

bigCover of the book Performance Evaluation for Network Services, Systems and Protocols by

bigCover of the book Shrinking Cities and First Suburbs by

bigCover of the book Quantitative Evaluation of Systems by

bigCover of the book Research and Development in Intelligent Systems XXXII by

bigCover of the book American Presidential Statecraft by

bigCover of the book Modeling and Using Context by

bigCover of the book Management of Prostate Cancer by

bigCover of the book The Complex Lives of Star Clusters by

bigCover of the book Ethnic Landscapes of America 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