C J van Rijsbergen

C J van Rijsbergen is the author of "Belief Revision", "Predicate Transformer Semantics", "Two-Level Functional Languages" and "Specification and Verification of Concurrent Systems".

Books by C J van Rijsbergen

User-Developer Co...
O'Neill, Eamonn
Hardback: $109.99

Logic Program Syn...
Clement Tim P.
Paperback: $59.95

SIGIR '94
Croft W. B.
Paperback: $136.00

Free Choice Petri...
Desel, Jorg
Paperback: $45.99