Ralf Steinbrüggen

Modellbildung in der Informatik

2013

Proof and System-Reliability

2002

Algebraische Ausdrücke, Formen

Algebraische Ausdrücke, Formen, Identitäten

1976

Calculational system design

Calculational system design