| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| "Design, Specification and Verification of Interactive Systems '97": "Proceedings Of The Eurographics Workshop In Granada, Spain, June 46, 1997" | 978-3-211-83055-0 (3-211-83055-3) | 2013 | |
| Interactive Systems. Design Specification, and Verification: 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, ... / Programming and Software Engineering) | 978-3-540-34145-1 (3-540-34145-5) | 2008 | Stephen W. Gilroy |
D,. H.. · D Harrison · M. D. · M. D. Harrison · M. H. · M. Harrison · Michael D. · Michael Douglas Harrison · Michael H. · Michael Harrison