AIFB Jahresbericht 11/12. 40 Jahre AIFB. Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Karlsruher Institut für Technologie KIT
Oberweis, Andreas [Hrsg.]
; Schmeck, Hartmut [Hrsg.]; Seese, Detlef [Hrsg.]; Studer, Rudi [Hrsg.]; Tai, Stefan [Hrsg.]
; Schmeck, Hartmut [Hrsg.]; Seese, Detlef [Hrsg.]; Studer, Rudi [Hrsg.]; Tai, Stefan [Hrsg.]| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Forschungsbericht/Preprint |
| Publikationsmonat/-jahr | 08.2012 |
| Sprache | Deutsch |
| Identifikator | ISBN: 978-3-9810441-9-5 urn:nbn:de:swb:90-295391 KITopen-ID: 1000029539 |
| Verlag | Karlsruher Institut für Technologie (KIT) |
| Umfang | 163 S. |
