| | Books 1 - 8 of 8 | Previous | Next | 
|  | | Verification of Sequential and Concurrent Programs (Texts in Computer Science) (2nd Edition)
by Krzysztof R. Apt, Ernst-Rüdiger Olderog
Hardcover, 364 Pages, Published 1997 by Springer, 2nd Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Programmverifikation: Sequentielle, parallele und verteilte Programme (Springer-Lehrbuch) (1st Edition)
by Krzysztof R. Apt, Ernst-Rüdiger Olderog
Paperback, 258 Pages, Published 1996 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Real-Time Systems: Formal Specification and Automatic Verification (1st Edition)
by Ernst-Rüdiger Olderog, Henning Dierks
Hardcover, 344 Pages, Published 2008 by Cambridge University Press, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September ... (Lecture Notes in Computer Science) (1st Edition)
by Werner Damm (Editor), Ernst-Rüdiger Olderog (Editor)
Paperback, 455 Pages, Published 2002 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Programming Concepts, Methods and Calculi
by Ifip Tc2, Wg2.1, Wg2.2, Wg2.3 Working Conference on Programming Concepts, Ernst-Rudiger Olderog (Editor), International Federation for Information Processing (Corporate Author)
Paperback, 602 Pages, Published 1994 by Elsevier Publishing Company
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Correct System Design: Recent Insights and Advances (Lecture Notes in Computer Science) (1st Edition)
by Ernst-Rüdiger Olderog (Editor), Bernhard Steffen (Editor)
Paperback, 417 Pages, Published 1999 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Specification-oriented semantics for communicating processes (Bericht / Institut fuÌr Informatik und Praktische Mathematik, Christian-Albrechts-UniversitaÌt Kiel) (Rev. version Edition)
by Ernst-RuÌdiger Olderog
Unknown Binding, 93 Pages, Published 1985 by Institut fuÌr Informatik und Praktische Mathematik, Christian-Albrechts-UniversitaÌt Kiel, Rev. version Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Process theory: Semantics, specification and verification (Bericht / Institut fuÌr Informatik und Praktische Mathematik, Christian-Albrechts-UniversitaÌt Kiel)
by Ernst-RuÌdiger Olderog
Unknown Binding, 67 Pages, Published 1985 by Institut fuÌr Informatik und Praktische Mathematik, Christian-Albrechts-UniversitaÌt Kiel
Compare Prices | Add to Wish List | Set Price Alert |
| | Books 1 - 8 of 8 | Previous | Next |
|