Hardware and Software: Verification and Testing

12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

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 Hardware and Software: Verification and Testing

More books from Springer International Publishing

bigCover of the book Introduction to Fractional and Pseudo-Differential Equations with Singular Symbols by

bigCover of the book Immunohistochemistry in Tumor Diagnostics by

bigCover of the book Proceedings of the 7th World Conference on Mass Customization, Personalization, and Co-Creation (MCPC 2014), Aalborg, Denmark, February 4th - 7th, 2014 by

bigCover of the book Total Hip Replacement by

bigCover of the book Deep Learning and Data Labeling for Medical Applications by

bigCover of the book Borders in Central Europe After the Schengen Agreement by

bigCover of the book Analysis and Simulation of Electrical and Computer Systems by

bigCover of the book Nonlinear Data Assimilation by

bigCover of the book Pattern and Security Requirements by

bigCover of the book Regulating Corporate Criminal Liability by

bigCover of the book Small State Behavior in Strategic and Intelligence Studies by

bigCover of the book Verified Software: Theories, Tools, and Experiments by

bigCover of the book The New Normal of Working Lives by

bigCover of the book Financial Econometrics and Empirical Market Microstructure 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