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 Applied Stochastic Control of Jump Diffusions by
bigCover of the book Common European Legal Thinking by
bigCover of the book System Dynamics Modeling with R by
bigCover of the book Disruptive Healthcare Provider Behavior by
bigCover of the book Advances in Physical Ergonomics and Human Factors by
bigCover of the book Multi-Wavelength Studies of Pulsars and Their Companions by
bigCover of the book Ubiquitous Computing and Ambient Intelligence by
bigCover of the book Theory and Practice of Digital Libraries -- TPDL 2013 Selected Workshops by
bigCover of the book China and India’s Development Cooperation in Africa by
bigCover of the book Complexity-Aware High Efficiency Video Coding by
bigCover of the book Tackling Society's Grand Challenges with Design Science by
bigCover of the book Mobile Computing, Applications, and Services by
bigCover of the book High Performance Computing in Science and Engineering ´15 by
bigCover of the book Influenza and Respiratory Care by
bigCover of the book Marshall Olkin Distributions - Advances in Theory and Applications 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