Tallenna
Hardware and Software: Verification and Testing
This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016.
- Alaotsikko
- 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
- Toimittaja
- Roderick Bloem, Eli Arbel
- Painos
- 1st ed. 2016
- ISBN
- 9783319490519
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 1.11.2016
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 211
