Hardware and Software: Verification and Testing

11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, 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 Thermo-Hydro-Mechanical-Chemical Processes in Fractured Porous Media: Modelling and Benchmarking by
bigCover of the book Probabilistic Diophantine Approximation by
bigCover of the book Modern Mysteries of the Moon by
bigCover of the book Engineering Legitimacy by
bigCover of the book Computational Thinking in the STEM Disciplines by
bigCover of the book Systems Biology in Animal Production and Health, Vol. 1 by
bigCover of the book HCI in Business, Government, and Organizations: Information Systems by
bigCover of the book The Science of Vehicle Dynamics by
bigCover of the book Functional Mapping of the Cerebral Cortex by
bigCover of the book Meanings of Pain by
bigCover of the book Simulation of ODE/PDE Models with MATLAB®, OCTAVE and SCILAB by
bigCover of the book Data Driven Approaches in Digital Education by
bigCover of the book The Mystery of the Seven Spheres by
bigCover of the book Image-Guided Stereotactic Radiosurgery by
bigCover of the book Animals and the Fukushima Nuclear Disaster 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