
Hardware and Software, Verification and Testing
- Alaotsikko
- Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers
- Painos
- 2007 ed.
- ISBN
- 9783540708889
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 9.2.2007
- Sivumäärä
- 235