| Titel | ISBN-13 (ISBN-10) | Erscheinungsjahr |
|---|---|---|
| Hardware and Software: Verification and Testing | 978-3-540-84743-4 (3-540-84743-X) | 2008 |
| Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, ... Notes in Computer Science , Band 4899) | 978-3-540-77964-3 (3-540-77964-7) | 2008 |