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

More books from Springer International Publishing

bigCover of the book Solving Computationally Expensive Engineering Problems by
bigCover of the book Toolkit for Counseling Spanish-Speaking Clients by
bigCover of the book Elite Techniques in Shoulder Arthroscopy by
bigCover of the book Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data by
bigCover of the book Domain Decomposition Methods in Science and Engineering XXIV by
bigCover of the book Cloud Computing and Security by
bigCover of the book Facing the Challenges in Structural Engineering by
bigCover of the book Inverse M-Matrices and Ultrametric Matrices by
bigCover of the book National Security, Surveillance and Terror by
bigCover of the book Experimentation Methodology for Engineers by
bigCover of the book Computational Methods for Molecular Imaging by
bigCover of the book Making Better Decisions Using Systems Thinking by
bigCover of the book Fuzzy Pictures as Philosophical Problem and Scientific Practice by
bigCover of the book Statistical Physics and Computational Methods for Evolutionary Game Theory by
bigCover of the book Negotiating Reconciliation in Peacemaking 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