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 Contractualisation of Family Law - Global Perspectives by

bigCover of the book The Palgrave Handbook of Artistic and Cultural Responses to War since 1914 by

bigCover of the book Security and Resiliency Analytics for Smart Grids by

bigCover of the book Business Process Management Forum by

bigCover of the book Bioprospects of Coastal Eubacteria by

bigCover of the book Sensing Technology: Current Status and Future Trends II by

bigCover of the book Entrepreneurship in Former Yugoslavia by

bigCover of the book The Theory of Externalities and Public Goods by

bigCover of the book Manis Valuations and Prüfer Extensions II by

bigCover of the book Friction and Wear by

bigCover of the book Ambient Assisted Living by

bigCover of the book Systemic Humiliation in America by

bigCover of the book Radiobiology and Radiation Hormesis by

bigCover of the book Controversies in Cardiology by

bigCover of the book Proceedings of the 9th International Conference on Computer Recognition Systems CORES 2015 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