
Hardware and Software, Verification and Testing
- Undertitel
- Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers
- Upplaga
- 2007 ed.
- ISBN
- 9783540708889
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2007-02-09
- Sidor
- 235
