| Titel | Art | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|---|
| The Handbook of Formal Methods in Human-Computer Interaction | Taschenbuch | 978-3-319-84754-2 (3-319-84754-6) | 2018 | Judy Bowen · Alan Dix · Philippe Palanque |
| The Handbook of Formal Methods in Human-Computer Interaction | Gebunden | 978-3-319-51837-4 (3-319-51837-2) | 2017 | Judy Bowen · Alan Dix · Philippe Palanque |