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 Phenomena and Computational Models of Non-Proportional Fatigue of Materials by
bigCover of the book International Perspectives on Engineering Education by
bigCover of the book Parenting and the State in Britain and Europe, c. 1870-1950 by
bigCover of the book RNA Metabolism and Gene Expression in Archaea by
bigCover of the book Talking to Terrorists, Non-Violence, and Counter-Terrorism by
bigCover of the book Thyroid Nodules by
bigCover of the book Natural Language Processing and Information Systems by
bigCover of the book Chemical Evolution by
bigCover of the book Consumer Health Informatics by
bigCover of the book Central Banking and Financial Stability in East Asia by
bigCover of the book Intercity Transport and Climate Change by
bigCover of the book Biotechnology in Space by
bigCover of the book The Statistical Physics of Fixation and Equilibration in Individual-Based Models by
bigCover of the book Fuzzy Logic Augmentation of Neural and Optimization Algorithms: Theoretical Aspects and Real Applications by
bigCover of the book DITA – the Topic-Based XML Standard 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