Rudolf Berghammer

• Mathematik für die Informatik
• Mathematik für Informatiker
• Ordnungen, Verbände und Relationen mit Anwendungen (German Edition)
• Tool Support for System Specification, Development and Verification
• Ordnungen und Verbände
• Ordnungen, Verbände und Relationen Mit Anwendungen
• Relations and Kleene Algebra in Computer Science
• Semantik von Programmiersprachen