Addison-Wesley, München · Springer, Berlin · The MIT Press
| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Principles of Model Checking | 978-0-262-02649-9 (0-262-02649-X) | 2008 | Joost-Pieter Katoen | |
| Theoretische Informatik. Eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen | 978-3-8273-7033-4 (3-8273-7033-7) | 2002 | Alexander Asteroth | |
| Validation of Stochastic Systems: A Guide to Current Research | 978-3-540-22265-1 (3-540-22265-0) | 2004 | Boudewijn R. Haverkort · Holger Hermanns · Joost-Pieter Katoen · Markus Siegle |
Carsten Bauer · Cerstin Bauer · Christa Beer · Christel Bauer · Christian Bär · Christian Bahr · Christian Baier · Christian Barry · Christian Bauer · Christian Bayer · Christian Beer · Christian Berr · Christian Beyer · Christian Bouyer · Christiane Baier · Christiane Bauer · Christiane Beier · Christiane Beyer · Christiane Birr · Christiane Borr · Christina Baier · Christina Burr · Christine Baar · Christine Baeyer · Christine Barrow · Christine Bauer · Christine Baur · Christine Beyer · Christine Boyer · Christof Bauer · Christof Baur · Christof Beyer · Christoph Bauer · Christoph Beier · Christoph Bier · Christoph Böhr · Christoph Borr · Christoph Boyer · Christoph Buyer · Christophe Bier · Christophe Bouriau · Christophe Bureau · Christopher Baier · Christopher Berry · Christopher Boor · Christopher Bower · Christopher Bray