| | Books 1 - 3 of 3 | Previous | Next | 
|  | | Verification of Sequential and Concurrent Programs (Texts and Monographs in Computer Science)
by Krzysztof R. Apt, Ernst-Rudiger Olderog
Hardcover, 441 Pages, Published 1991 by Springer-Verlag
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Process theory: Semantics, specification and verification (Bericht / Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel)
by Ernst-Rüdiger Olderog
Unknown Binding, 67 Pages, Published 1985 by Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Specification-oriented semantics for communicating processes (Bericht / Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel) (Rev. version Edition)
by Ernst-Rüdiger Olderog
Unknown Binding, 93 Pages, Published 1985 by Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel, Rev. version Edition
Compare Prices | Add to Wish List | Set Price Alert |
| | Books 1 - 3 of 3 | Previous | Next |
|