P.G. · Patrice Godefroid · Patrick Godfrey
| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings | 978-3-540-28195-5 (3-540-28195-9) | 2008 | |
| Model Checking Software | 978-3-540-81403-0 (3-540-81403-5) | 2008 | |
| Sicherheit beim Surfen und Kommunizieren im Internet: Was Sie beachten sollten | 978-3-406-64690-4 (3-406-64690-5) | 2014 | Rolf Schwartmann · Tobias Keber |