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 Humanism in a Non-Humanist World by
bigCover of the book Computing and Combinatorics by
bigCover of the book Atlas of CT Angiography by
bigCover of the book Econophysics and Data Driven Modelling of Market Dynamics by
bigCover of the book Representation Theory by
bigCover of the book Mobile Big Data by
bigCover of the book Advances in Acoustic Emission Technology by
bigCover of the book Hyper-lattice Algebraic Model for Data Warehousing by
bigCover of the book New Perspectives on the History of Political Economy by
bigCover of the book Security and Cryptography for Networks by
bigCover of the book Cyberspace by
bigCover of the book Reviews of Environmental Contamination and Toxicology Volume 247 by
bigCover of the book Stochastic Finite Element Methods by
bigCover of the book Photographic and Descriptive Musculoskeletal Atlas of Bonobos by
bigCover of the book A Philosophy of Schooling 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