Ernst-Rudiger Olderog | Bookhype

E.-R. Olderog is Professor of Computer Science at the University of Oldenburg, Germany. In 1994 he was awarded the Leibniz Prize of the German Research Council (DFG).

Sep 11, 2008

Cover of Real-Time Systems

Real-Time Systems

Mar 21, 1994

Cover of Programmverifikation

Programmverifikation (Springer-Lehrbuch)

Jul 1991

Cover of Verification of Sequential and Concurrent Programmes

Verification of Sequential and Concurrent Programmes (Texts and Monographs in Computer Science)