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 227
  • 1 – 12 of 227
✕
Syntax and Semantics of Petri Nets
Syntax and Semantics of Petri Nets
Roberto Gorrieri Roberto Gorrieri
August 2025
9781009613286
Not yet published - available from August 2025
Hardback
$140.00
✕
Polygraphs: From Rewriting to Higher Categories
Polygraphs: From Rewriting to Higher Categories
Dimitri Ara
(+5 others) Dimitri Ara
Albert Burroni
Yves Guiraud
(+3 others)
May 2025
9781009498982
Not yet published - available from May 2025
Paperback
$115.00
✕
Polygraphs: From Rewriting to Higher Categories
Polygraphs: From Rewriting to Higher Categories
Dimitri Ara
(+5 others) Dimitri Ara
Albert Burroni
Yves Guiraud
(+3 others)
March 2025
9781009498975
Not yet published - available from March 2025
Adobe eBook Reader
$115.00
✕
Session Types
Session Types
Simon J. Gay
(+1 other) Simon J. Gay
Vasco T. Vasconcelos
March 2025
9781316518274
Not yet published - available from March 2025
Hardback
$59.99
✕
Digital Behavior
Digital Behavior
Evidence-Based Digital Design
Umberto Leon Dominguez Umberto Leon Dominguez
February 2025
9781009568333
Available
Hardback
$125.00
✕
Digital Behavior
Digital Behavior
Evidence-Based Digital Design
Umberto Leon Dominguez Umberto Leon Dominguez
February 2025
9781009568326
Available
Paperback
$41.99
✕
Digital Behavior
Digital Behavior
Evidence-Based Digital Design
Umberto Leon Dominguez Umberto Leon Dominguez
January 2025
9781009568340
Not yet published - available from January 2025
Adobe eBook Reader
$41.99
✕
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
Available
Hardback
$205.00
✕
Programming in Ada 2022
Programming in Ada 2022
John Barnes John Barnes
November 2024
9781009564779
Available
Paperback
$110.00
✕
Programming in Ada 2022
Programming in Ada 2022
John Barnes John Barnes
November 2024
9781009564786
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$110.00
Buy eBook
✕
Topological Duality for Distributive Lattices
Topological Duality for Distributive Lattices
Theory and Applications
Mai Gehrke
(+1 other) Mai Gehrke
Sam van Gool
May 2024
9781009349697
In stock
Hardback
$84.99
✕
Topological Duality for Distributive Lattices
Topological Duality for Distributive Lattices
Theory and Applications
Mai Gehrke
(+1 other) Mai Gehrke
Sam van Gool
May 2024
9781009349710
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$84.99
Buy eBook
✕
Introducing String Diagrams
Introducing String Diagrams
The Art of Category Theory
Ralf Hinze
(+1 other) Ralf Hinze
Dan Marsden
August 2023
9781009317849
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$49.99
Buy eBook
✕
Introducing String Diagrams
Introducing String Diagrams
The Art of Category Theory
Ralf Hinze
(+1 other) Ralf Hinze
Dan Marsden
August 2023
9781009317863
Available
Hardback
$49.99
✕
Joy with Java
Joy with Java
Fundamentals of Object Oriented Programming
Debasis Samanta
(+1 other) Debasis Samanta
Monalisa Sarma
August 2023
9781009211901
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$99.99
Buy eBook
✕
Joy with Java
Joy with Java
Fundamentals of Object Oriented Programming
Debasis Samanta
(+1 other) Debasis Samanta
Monalisa Sarma
August 2023
9781009211918
Available, despatch within 1-2 weeks
Paperback
$99.99
✕
Introduction to Choreographies
Introduction to Choreographies
Fabrizio Montesi Fabrizio Montesi
May 2023
9781108833769
Available
Hardback
$64.99
✕
Introduction to Choreographies
Introduction to Choreographies
Fabrizio Montesi Fabrizio Montesi
May 2023
9781108992152
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$64.99
Buy eBook
✕
Handbook of Constructive Mathematics
Handbook of Constructive Mathematics
Douglas Bridges
(+3 others) Douglas Bridges
Hajime Ishihara
Michael Rathjen
(+1 other)
May 2023
9781009041416
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$195.00
Buy eBook
✕
Handbook of Constructive Mathematics
Handbook of Constructive Mathematics
Douglas Bridges
(+3 others) Douglas Bridges
Hajime Ishihara
Michael Rathjen
(+1 other)
May 2023
9781316510865
Available
Hardback
$195.00
✕
200 Problems on Languages, Automata, and Computation
200 Problems on Languages, Automata, and Computation
Filip Murlak
(+2 others) Filip Murlak
Damian Niwiński
Wojciech Rytter
April 2023
9781009073783
Available
Paperback
$39.99
✕
200 Problems on Languages, Automata, and Computation
200 Problems on Languages, Automata, and Computation
Filip Murlak
(+2 others) Filip Murlak
Damian Niwiński
Wojciech Rytter
April 2023
9781009075572
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$39.99
Buy eBook
✕
200 Problems on Languages, Automata, and Computation
200 Problems on Languages, Automata, and Computation
Filip Murlak
(+2 others) Filip Murlak
Damian Niwiński
Wojciech Rytter
April 2023
9781316513460
Available
Hardback
$90.00
Per Page 1 – 12 of 227
  • 1 – 12 of 227

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