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 Learning Analytics in R with SNA, LSA, and MPIA by
bigCover of the book Antenna Design by Simulation-Driven Optimization by
bigCover of the book Fibrous Proteins: Structures and Mechanisms by
bigCover of the book Emergent Nested Systems by
bigCover of the book Theoretical Aspects of Computing - ICTAC 2015 by
bigCover of the book Advancing Big Data Benchmarks by
bigCover of the book Big Data Analytics by
bigCover of the book Information Security Practice and Experience by
bigCover of the book Extensions to the No-Core Shell Model by
bigCover of the book Essentials of Clinical Research by
bigCover of the book Offshore Processing of CO2-Rich Natural Gas with Supersonic Separator by
bigCover of the book Personalised Medicine by
bigCover of the book Feng Shui: Teaching About Science and Pseudoscience by
bigCover of the book Nonclinical Statistics for Pharmaceutical and Biotechnology Industries by
bigCover of the book Rhetorical Audience Studies and Reception of Rhetoric 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