| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Buch |
| Publikationsjahr | 2016 |
| Sprache | Deutsch |
| Identifikator | ISBN: 978-3-11-041208-6 KITopen-ID: 1000093599 |
| Verlag | De Gruyter |
| Umfang | XV, 413 S. |
| Serie | De Gruyter Studium |