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 Knowledge Engineering and Knowledge Management by
bigCover of the book Give Peace a Chant by
bigCover of the book Recent Advances in Computational Optimization by
bigCover of the book Simulation Gaming. Applications for Sustainable Cities and Smart Infrastructures by
bigCover of the book SOFSEM 2017: Theory and Practice of Computer Science by
bigCover of the book Zooarchaeology in Practice by
bigCover of the book Lung Cancer by
bigCover of the book Atlas of Adult Autopsy by
bigCover of the book Reasoning Web. Learning, Uncertainty, Streaming, and Scalability by
bigCover of the book Radical Origins to Economic Crises by
bigCover of the book P5 Medicine and Justice by
bigCover of the book Handbook of Image-Guided Brachytherapy by
bigCover of the book Cellular Automata and Discrete Complex Systems by
bigCover of the book Crib Death - Sudden Infant Death Syndrome (SIDS) by
bigCover of the book Turkish Foreign Policy 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