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 Internationalisation of Legal Education by
bigCover of the book Emergent Interfaces for Feature Modularization by
bigCover of the book The Didactics of Mathematics: Approaches and Issues by
bigCover of the book Polarity, Balance of Power and International Relations Theory by
bigCover of the book Stages of Corporate Social Responsibility by
bigCover of the book Numerical Computations with GPUs by
bigCover of the book Hermeneutics and Phenomenology in Paul Ricoeur by
bigCover of the book Engineering Secure Software and Systems by
bigCover of the book The Science Teaching Efficacy Belief Instruments (STEBI A and B) by
bigCover of the book Child and Adolescent Resilience Within Medical Contexts by
bigCover of the book Coalbed Methane in India by
bigCover of the book Putting Systems and Complexity Sciences Into Practice by
bigCover of the book The Thermodynamics of Linear Fluids and Fluid Mixtures by
bigCover of the book Martin Heidegger by
bigCover of the book Practical Applications of Computational Biology and Bioinformatics, 12th International Conference 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