Showing 1 - 5 of 5 Results
1.
GI - 9. Jahrestagung : Bonn, 1. –5. Oktober 1979 by B�hling, K. H., Spies, P. P. ISBN: 9783540096641 List Price: $69.95
2.
Formal Systems Specification The Rpc-Memory Specification Case Study by Broy, M., Merz, S., Spies, K. ISBN: 9783540619840 List Price: $99.00
3.
Recursion Theory Week by Ambos-Spies, K. ISBN: 9783540527725 List Price: $46.00
4.
Proof Technology and Computation, Volume 200 NATO Science Series: Computer and Systems Sciences by K. Spies and H. Schwichtenb... ISBN: 9781586036256 List Price: $200.00