Rudolf Berghammer

Mathematik für die Informatik

2019

Ordnungen und Verbände

Ordnungen und Verbände

2014

Ordnungen, Verbände und Relationen Mit Anwendungen

2012

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

2012

Tool Support for System Specification, Development and Verification

1999