For Publishers
All
Subject
Title
Author
Publisher
Series Title
All
Subject
Title
Author
Publisher
Series Title
ErnstRdiger Olderog
ErnstRdiger Olderog is the author of "Nets, Terms and Formulas", "Correct System Design", "Provably Correct Systems" and "Verification of Sequential and Concurrent Programs".
Books by ErnstRdiger Olderog
View more
Nets, Terms and F...
Olderog, Ernst-Rüdi...
Hardback:
Correct System De...
Steffen Bernhard
Paperback:
Nets, Terms and F...
Olderog, Ernst-Rüdi...
Hardback:
$133.00
Verification of S...
Apt, Krzysztof R.
Hardback:
$109.99
Provably Correct ...
Hinchey Mike
Hardback:
$159.99
Verification of S...
Springer
Paperback:
$89.99
Verification of S...
Apt, Krzysztof R.
Hardback:
Verification of S...
Olderog, Ernst-Rüdi...
Hardback:
Real-Time Systems
Olderog, Ernst-Rüdi...
Electronic book text:
$195.00
Provably Correct ...
Hinchey Mike
Hardback:
Formal Techniques...
Damm Werner
Electronic book text:
$129.00
Verification of S...
Olderog, Ernst-Rüdi...
Hardback:
$129.00