Search Type
  • All
  • Subject
  • Title
  • Author
  • Publisher
  • Series Title
Search 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
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