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 Mechanisms of Vascular Defects in Diabetes Mellitus by
bigCover of the book Functions and Generality of Logic by
bigCover of the book Computational Intelligence in Information Systems by
bigCover of the book Religion and Development in the Global South by
bigCover of the book God and Abstract Objects by
bigCover of the book Intelligent Computer Systems in Engineering Design by
bigCover of the book A Survey on Coordinated Power Management in Multi-Tenant Data Centers by
bigCover of the book Romantic Paganism by
bigCover of the book Urban Transformations in Rio de Janeiro by
bigCover of the book STAT Inhibitors in Cancer by
bigCover of the book Pareto-Nash-Stackelberg Game and Control Theory by
bigCover of the book Lectures on Hyperhamiltonian Dynamics and Physical Applications by
bigCover of the book Computational Science and Its Applications – ICCSA 2017 by
bigCover of the book The Interplay of Data, Technology, Place and People for Smart Learning by
bigCover of the book Ecosystem Services of Headwater Catchments 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