
Hardware and Software, Verification and Testing
- Undertitel
- First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
- Redaktör
- Shmuel Ur, Eyal Bin, Yaron Wolfsthal
- Upplaga
- 2006 ed.
- ISBN
- 9783540326045
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2006-04-06
- Sidor
- 270
