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 Fundamentals of Robotic Mechanical Systems by
bigCover of the book Combinatorial Algebra: Syntax and Semantics by
bigCover of the book Design, User Experience, and Usability: Novel User Experiences by
bigCover of the book Rhetorical Perspectives on Argumentation by
bigCover of the book Trust Management IX by
bigCover of the book On Sets and Graphs by
bigCover of the book The Value of Systems and Complexity Sciences for Healthcare by
bigCover of the book Genomic Instability and Cancer Metastasis by
bigCover of the book Puberty by
bigCover of the book Information Processing and Management of Uncertainty in Knowledge-Based Systems by
bigCover of the book Impeding Bullying Among Young Children in International Group Contexts by
bigCover of the book Modeling High Temperature Materials Behavior for Structural Analysis by
bigCover of the book The Last Natural Man by
bigCover of the book Resource Allocation with Carrier Aggregation in Cellular Networks by
bigCover of the book Pharmacology and Therapeutics of Asthma and COPD 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