
Hardware and Software, Verification and Testing
- Alaotsikko
- First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
- Toimittaja
- Shmuel Ur, Eyal Bin, Yaron Wolfsthal
- Painos
- 2006 ed.
- ISBN
- 9783540326045
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 6.4.2006
- Sivumäärä
- 270