Our systems are now restored following recent technical disruption, and we’re working hard to catch up on publishing. We apologise for the inconvenience caused. Find out more

Item added to bagSorry, there was a problem getting your bag informationItem cannot be purchased with the existing contents of your bagItem unavailable online
✕

was added to your bag.

Please try again.

Sorry, this item cannot be purchased in the same transaction as the existing items in your bag.

Please complete the purchase of the items currently in your bag and then add this item in a separate transaction or visit Shopping Help.

Sorry, this product is not currently available to buy online. Please visit Shopping Help.

View bag and checkout
Remove item
✕

Are you sure you want to remove from your bag?

Recommended product

Popular links

Popular links

Programming languages and applied logic

Results

Clear all
Filter
✕
Current filters
Clear all
Refine results
Show more
Show more

Results

Clear all
Per Page 1 – 12 of 52
  • 1 – 12 of 52
✕
Syntax and Semantics of Petri Nets
Syntax and Semantics of Petri Nets
Roberto Gorrieri Roberto Gorrieri
August 2025
9781009613286
Manufactured on demand - supplied direct from the printer
Hardback
£110.00
✕
Initial Algebras and Terminal Coalgebras
Initial Algebras and Terminal Coalgebras
The Theory of Fixed Points of Functors
Jiří Adámek
(+2 others) Jiří Adámek
Stefan Milius
Lawrence S. Moss
February 2025
9781108880671
Manufactured on demand - supplied direct from the printer
Adobe eBook Reader
$205.00
Buy eBook
✕
Initial Algebras and Terminal Coalgebras
Initial Algebras and Terminal Coalgebras
The Theory of Fixed Points of Functors
Jiří Adámek
(+2 others) Jiří Adámek
Stefan Milius
Lawrence S. Moss
February 2025
9781108835466
Manufactured on demand - supplied direct from the printer
Hardback
£155.00
✕
Topological Duality for Distributive Lattices
Topological Duality for Distributive Lattices
Theory and Applications
Mai Gehrke
(+1 other) Mai Gehrke
Sam van Gool
March 2024
9781009349697
Manufactured on demand - supplied direct from the printer
Hardback
£64.99
✕
Topological Duality for Distributive Lattices
Topological Duality for Distributive Lattices
Theory and Applications
Mai Gehrke
(+1 other) Mai Gehrke
Sam van Gool
March 2024
9781009349710
Manufactured on demand - supplied direct from the printer
Adobe eBook Reader
$84.99
Buy eBook
✕
Finite-State Techniques
Finite-State Techniques
Automata, Transducers and Bimachines
Stoyan Mihov
(+1 other) Stoyan Mihov
Klaus U. Schulz
August 2019
9781108621137
Manufactured on demand - supplied direct from the printer
Adobe eBook Reader
$94.00
Buy eBook
✕
Finite-State Techniques
Finite-State Techniques
Automata, Transducers and Bimachines
Stoyan Mihov
(+1 other) Stoyan Mihov
Klaus U. Schulz
August 2019
9781108485418
Manufactured on demand - supplied direct from the printer
Hardback
£70.00
✕
Introduction to Coalgebra
Introduction to Coalgebra
Towards Mathematics of States and Observation
Bart Jacobs Bart Jacobs
October 2016
9781107177895
Manufactured on demand - supplied direct from the printer
Hardback
£147.00
✕
Introduction to Coalgebra
Introduction to Coalgebra
Towards Mathematics of States and Observation
Bart Jacobs Bart Jacobs
October 2016
9781316836019
Manufactured on demand - supplied direct from the printer
Adobe eBook Reader
$191.00
Buy eBook
✕
Temporal Logics in Computer Science
Temporal Logics in Computer Science
Finite-State Systems
Stéphane Demri
(+2 others) Stéphane Demri
Valentin Goranko
Martin Lange
October 2016
9781316728567
Manufactured on demand - supplied direct from the printer
Adobe eBook Reader
$148.00
Buy eBook
✕
Temporal Logics in Computer Science
Temporal Logics in Computer Science
Finite-State Systems
Stéphane Demri
(+2 others) Stéphane Demri
Valentin Goranko
Martin Lange
October 2016
9781107028364
Manufactured on demand - supplied direct from the printer
Hardback
£111.00
✕
Nominal Sets
Nominal Sets
Names and Symmetry in Computer Science
Andrew M. Pitts Andrew M. Pitts
May 2013
9781107017788
Manufactured on demand - supplied direct from the printer
Hardback
£57.00
✕
Nominal Sets
Nominal Sets
Names and Symmetry in Computer Science
Andrew M. Pitts Andrew M. Pitts
N/A
9781107240186
Manufactured on demand - supplied direct from the printer
Adobe eBook Reader
$74.00
Buy eBook
✕
Nonmonotonic Reasoning
Nonmonotonic Reasoning
Logical Foundations of Commonsense
Gerhard Brewka Gerhard Brewka
March 2012
9780521181303
Manufactured on demand - supplied direct from the printer
Paperback
£41.00
✕
Nonmonotonic Reasoning
Nonmonotonic Reasoning
Logical Foundations of Commonsense
Gerhard Brewka Gerhard Brewka
February 1991
9780521383943
Manufactured on demand - supplied direct from the printer
Hardback
£68.00
✕
Concurrency Verification
Concurrency Verification
Introduction to Compositional and Non-compositional Methods
Willem-Paul de Roever
(+6 others) Willem-Paul de Roever
Frank de Boer
Ulrich Hanneman
(+4 others)
January 2012
9780521169325
Manufactured on demand - supplied direct from the printer
Paperback
£75.00
✕
Concurrency Verification
Concurrency Verification
Introduction to Compositional and Non-compositional Methods
Willem-Paul de Roever
(+6 others) Willem-Paul de Roever
Frank de Boer
Ulrich Hanneman
(+4 others)
November 2001
9780521806084
Manufactured on demand - supplied direct from the printer
Hardback
£225.00
✕
Advanced Topics in Bisimulation and Coinduction
Advanced Topics in Bisimulation and Coinduction
Davide Sangiorgi
(+1 other) Davide Sangiorgi
Jan Rutten
October 2011
9781139153799
Manufactured on demand - supplied direct from the printer
Adobe eBook Reader
$148.00
Buy eBook
✕
Advanced Topics in Bisimulation and Coinduction
Advanced Topics in Bisimulation and Coinduction
Davide Sangiorgi
(+1 other) Davide Sangiorgi
Jan Rutten
October 2011
9781107004979
Manufactured on demand - supplied direct from the printer
Hardback
£114.00
✕
Process Algebra: Equational Theories of Communicating Processes
Process Algebra: Equational Theories of Communicating Processes
J. C. M. Baeten
(+2 others) J. C. M. Baeten
T. Basten
M. A. Reniers
January 2010
9780511717420
Manufactured on demand - supplied direct from the printer
Adobe eBook Reader
$120.00
Buy eBook
✕
Process Algebra: Equational Theories of Communicating Processes
Process Algebra: Equational Theories of Communicating Processes
J. C. M. Baeten
(+2 others) J. C. M. Baeten
T. Basten
M. A. Reniers
January 2010
9780521820493
Manufactured on demand - supplied direct from the printer
Hardback
£90.00
✕
A Unifying Framework for Structured Analysis and Design Models
A Unifying Framework for Structured Analysis and Design Models
An Approach Using Initial Algebra Semantics and Category Theory
T. H. Tse T. H. Tse
July 2009
9780521117876
Manufactured on demand - supplied direct from the printer
Paperback
£38.00
✕
A Unifying Framework for Structured Analysis and Design Models
A Unifying Framework for Structured Analysis and Design Models
An Approach Using Initial Algebra Semantics and Category Theory
T. H. Tse T. H. Tse
July 2009
9780511877810
Manufactured on demand - supplied direct from the printer
Adobe eBook Reader
$50.00
Buy eBook
✕
A Unifying Framework for Structured Analysis and Design Models
A Unifying Framework for Structured Analysis and Design Models
An Approach Using Initial Algebra Semantics and Category Theory
T. H. Tse T. H. Tse
May 1991
9780521391962
Manufactured on demand - supplied direct from the printer
Hardback
£110.00
Per Page 1 – 12 of 52
  • 1 – 12 of 52

Save 20% on your next online purchase

Subscribe to Cambridge Alerts to receive email alerts on new books, offers and news...

Subscribe
alerts banner

Browse by related subject

 
✕

Sorry, this item cannot be purchased in the same transaction as the existing items in your cart.

Please complete the purchase of the items currently in your cart and then add this item in a separate transaction or contact

Customer Services