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 Understanding Terrestrial Microbial Communities by
bigCover of the book Modern Trends and Techniques in Computer Science by
bigCover of the book Intelligent Robotics and Applications by
bigCover of the book Advances in Natural Language Processing, Intelligent Informatics and Smart Technology by
bigCover of the book Antibiotics and Antibiotics Resistance Genes in Soils by
bigCover of the book The Governance of Smart Transportation Systems by
bigCover of the book Wireless Internet by
bigCover of the book Security with Intelligent Computing and Big-data Services by
bigCover of the book Finance Unleashed by
bigCover of the book Fracture, Fatigue, Failure and Damage Evolution, Volume 7 by
bigCover of the book Partial Differential Equations by
bigCover of the book Some Aspects of the Formation of the Solar System by
bigCover of the book Foundations of Symmetric Spaces of Measurable Functions by
bigCover of the book Evolutionary Computation in Combinatorial Optimization by
bigCover of the book Dermatology 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