All Brands Books

Cambridge Tracts in Theoretical Computer Science

Filters

22 results for

Sort By:
Free pickup at:

0 items

No products found

Try adjusting your filters to see more items.

Initial Algebras and Terminal Coalgebras: The Theory of Fixed Points of Functors
Jiří Adámek Hardcover
$235.95

Data Refinement: Model-Oriented Proof Methods and their Comparison
Willem-paul De Roever Paperback
$76.95
2 formats available

Basic Simple Type Theory
J. Roger Hindley Paperback
$55.95
2 formats available

Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship
E. -R. Olderog Paperback
$63.95
2 formats available

A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory
T. H. Tse Paperback
$53.95
2 formats available

Topological Duality for Distributive Lattices: Theory and Applications
Mai Gehrke Hardcover
$97.95

Extensions of First-Order Logic
Maria Manzano Paperback
$98.95

The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution
Robert L. Carpenter Paperback
$63.95

Understanding Z: A Specification Language and its Formal Semantics
J. M. Spivey Paperback
$51.95

Mathematical Theory of Domains
V. Stoltenberg-Hansen Paperback
$89.95

Lambda-calculus, Combinators and Functional Programming
G. E. Revesz Paperback
$70.74

Design Theory and Computer Science
Subrata Dasgupta Paperback
$97.95

Term Rewriting Systems
Terese Terese Hardcover
$292.95

Belief Revision
Paperback
$91.95

Topology Via Logic
Steven Vickers Paperback
$78.95

Metamathematics, Machines and Gödel's Proof
N. Shankar Paperback
$63.95

Computational Learning Theory
M. H. G. Anthony Paperback
$62.95

Algorithmic Information Theory
Gregory. J. Chaitin Paperback
$71.95

Updating Logical Databases
Marianne Winslett Paperback
$53.95

The Optimal Implementation Of Functional Programming Languages
Andrea Asperti Hardcover
$123.95

Basic Proof Theory
A. S. Troelstra Paperback
$70.95

Introduction To Coalgebra: Towards Mathematics Of States And Observation
Bart Jacobs Hardcover
$193.34