Cambridge Tracts in Theoretical Computer Science
Results
✕
Syntax and Semantics of Petri Nets
August 2025
9781009613286
Not yet published - available from August 2025
Hardback
NZD$211.95
✕
Initial Algebras and Terminal Coalgebras
The Theory of Fixed Points of Functors
February 2025
9781108835466
Available
Hardback
NZD$298.95
✕
Topological Duality for Distributive Lattices
Theory and Applications
March 2024
9781009349697
Available, despatch within 3-4 weeks
Hardback
NZD$125.95
✕
Topological Duality for Distributive Lattices
Theory and Applications
March 2024
9781009349710
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$84.99
✕
Finite-State Techniques
Automata, Transducers and Bimachines
August 2019
9781108485418
Available, despatch within 3-4 weeks
Hardback
NZD$129.95
✕
Finite-State Techniques
Automata, Transducers and Bimachines
August 2019
9781108621137
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$94.00
✕
Introduction to Coalgebra
Towards Mathematics of States and Observation
October 2016
9781316836019
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$191.00
✕
Introduction to Coalgebra
Towards Mathematics of States and Observation
October 2016
9781107177895
Available
Hardback
NZD$273.95
✕
Temporal Logics in Computer Science
Finite-State Systems
October 2016
9781107028364
Available, despatch within 3-4 weeks
Hardback
NZD$207.95
✕
Temporal Logics in Computer Science
Finite-State Systems
October 2016
9781316728567
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$148.00
✕
NZD$106.95
✕
Nominal Sets
Names and Symmetry in Computer Science
N/A
9781107240186
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$74.00
✕
Nonmonotonic Reasoning
Logical Foundations of Commonsense
March 2012
9780521181303
Available
Paperback
NZD$75.95
✕
Nonmonotonic Reasoning
Logical Foundations of Commonsense
April 1991
9780521383943
Available
Hardback
NZD$125.95
✕
Concurrency Verification
Introduction to Compositional and Non-compositional Methods
January 2012
9780521169325
Available
Paperback
NZD$139.95
✕
Concurrency Verification
Introduction to Compositional and Non-compositional Methods
November 2002
9780521806084
Available
Hardback
NZD$437.00
✕
NZD$212.95
✕
Advanced Topics in Bisimulation and Coinduction
October 2011
9781139153799
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$148.00
✕
Process Algebra: Equational Theories of Communicating Processes
January 2010
9780521820493
Available
Hardback
NZD$168.95
✕
Process Algebra: Equational Theories of Communicating Processes
January 2010
9780511717420
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$120.00
✕
NZD$71.95
✕
Hybrid Graph Theory and Network Analysis
September 2009
9780511885235
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$50.00
✕
NZD$212.95
