Topology and Category Theory in Computer Science, Hardcover by Reed, G. M.; R...
105,06 €
Topology and Category Theory in Computer Science, Hardcover by Reed, G. M.; Roscoe, A. W.; Wachter, R. F. (EDT), ISBN 0198537603, ISBN-13 9780198537601, Brand New, Free shipping in the US Explores how topology and category theory are applied in theoretical computer science, in 14 papers from a session of the Oxford Topology Symposium, June 1989. The topics are such as the soundness and completeness of axioms for CSP processes, concurrency semantics based on metric domain equations, and order and strongly sober compactifications. The purely topological papers will be published elsewhere. No index. Annotation copyright Book News, Inc. Portland, Or.
Jetzt bei Ebay:
