R
Rudolf Berghammer
8 works on record
Works

Ordnungen, Verbände und Relationen mit Anwendungen (German Edition)

Tool Support for System Specification, Development and Verification

Mathematik für Informatiker

Mathematik für die Informatik
Ordnungen und Verbände
Ordnungen und Verbände
Relations and Kleene Algebra in Computer Science
Relations and Kleene Algebra in Computer Science
Ordnungen, Verbände und Relationen Mit Anwendungen
Ordnungen, Verbände und Relationen Mit Anwendungen
Semantik von Programmiersprachen
Semantik von Programmiersprachen