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 The Biblical Covenant in Shakespeare by
bigCover of the book Black Studies and the Democratization of American Higher Education by
bigCover of the book Dams, Displacement and Development by
bigCover of the book Antimicrobial Drug Resistance by
bigCover of the book Prospects of Organic Waste Management and the Significance of Earthworms by
bigCover of the book Design and Computation of Modern Engineering Materials by
bigCover of the book Out-of-order Parallel Discrete Event Simulation for Electronic System-level Design by
bigCover of the book The Spiritual Dimension of Business Ethics and Sustainability Management by
bigCover of the book Resources, Services and Risks by
bigCover of the book Diseases of the Cardiac Pump by
bigCover of the book Power in Economic Thought by
bigCover of the book The U.S. Foreign Language Deficit by
bigCover of the book Submodular Rate Region Models for Multicast Communication in Wireless Networks by
bigCover of the book Immunology and Psychiatry by
bigCover of the book Technology, Institutions and Labor 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