Rudolf Berghammer - Böcker

Tool Support for System Specification, Development and Verification

Graph-Theoretic Concepts in Computer Science

17th International Workshop WG '91, Fischbachau, Germany, June 17-19, 1991. Proceedings

Relations and Kleene Algebra in Computer Science

10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008, Proceedings

Relations and Kleene Algebra in Computer Science

11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009, Proceedings

Ordnungen, Verbände und Relationen mit Anwendungen

Ordnungen und Verbände

Grundlagen, Vorgehensweisen und Anwendungen

Mathematik für die Informatik

Grundlegende Begriffe, Strukturen und ihre Anwendung