
Hardware and Software, Verification and Testing
- Undertittel
- First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
- Redaktør
- Shmuel Ur, Eyal Bin, Yaron Wolfsthal
- Opplag
- 2006 ed.
- ISBN
- 9783540326045
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 6.4.2006
- Antall sider
- 270
