books

Books about Olderog:

booksVerification of Sequential and Concurrent Programs by Apt, Krzysztof, de Boer, Frank S., Olderog, Ernst-RĂ¼diger... by Apt (Oct 1, 0010)

booksNets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical... by E. -R. Olderog (Oct 25, 1990)

booksFormal Description of Programming Concepts (IFIP State-of-the-Art Reports) (v. 1) [Hardcover] [2007] (Author)... (2007)

books[ [ [ Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship[ NETS, TERMS AND FORMULAS... by E. R. Olderog (Aug 22, 2005)

wiki

Wiki information Olderog:

Rolf Olderog
Politician, Person

E.-R. Olderog
Author, Person