You are viewing content intended for a different location. This may affect your ability to shop online.

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

Filter

Current filters

Refine results

Results

Per Page 1 – 12 of 234
✕
Reasoning about Gossip
Reasoning about Gossip
Hans van Ditmarsch Hans van Ditmarsch
Published: February 2027
ISBN: 9781009557054
Availability: Not yet published - available from February 2027
Format: Hardback
View product
✕
Games on Graphs
Games on Graphs
From Logic and Automata to Algorithms
‪Nathanaël Fijalkow ‪Nathanaël Fijalkow
Published: May 2026
ISBN: 9781009500685
Availability: Available
Format: Hardback
View product
✕
Games on Graphs
Games on Graphs
From Logic and Automata to Algorithms
‪Nathanaël Fijalkow ‪Nathanaël Fijalkow
Published: May 2026
ISBN: 9781009500654
Availability: This ISBN is for an eBook version which is distributed on our behalf by a third party.
Format: Adobe eBook Reader
View product
✕
Formal Methods, Informally
Formal Methods, Informally
How to Write Programs That Work
Carroll Morgan Carroll Morgan
Published: February 2026
ISBN: 9781009420990
Availability: Available
Format: Hardback
View product
✕
Formal Methods, Informally
Formal Methods, Informally
How to Write Programs That Work
Carroll Morgan Carroll Morgan
Published: February 2026
ISBN: 9781009421027
Availability: Available
Format: Paperback
View product
✕
Formal Methods, Informally
Formal Methods, Informally
How to Write Programs That Work
Carroll Morgan Carroll Morgan
Published: January 2026
ISBN: 9781009420983
Availability: Not yet published - available from January 2026
Format: Adobe eBook Reader
View product
✕
Cultures of Programming
Open Access
Cultures of Programming
The Development of Programming Concepts and Methodologies
Tomas Petricek Tomas Petricek
Published: January 2026
ISBN: 9781009492362
Availability: This ISBN is for an eBook version which is distributed on our behalf by a third party.
Format: Adobe eBook Reader
View product View Open Access
✕
Cultures of Programming
Open Access
Cultures of Programming
The Development of Programming Concepts and Methodologies
Tomas Petricek Tomas Petricek
Published: January 2026
ISBN: 9781009492348
Availability: Available
Format: Hardback
View product View Open Access
✕
Proof Theory and Logic Programming
Proof Theory and Logic Programming
Computation as Proof Search
Dale Miller Dale Miller
Published: December 2025
ISBN: 9781009561310
Availability: This ISBN is for an eBook version which is distributed on our behalf by a third party.
Format: Adobe eBook Reader
View product
✕
Proof Theory and Logic Programming
Proof Theory and Logic Programming
Computation as Proof Search
Dale Miller Dale Miller
Published: December 2025
ISBN: 9781009561297
Availability: Available
Format: Hardback
View product
✕
Introduction to Homotopy Type Theory
Introduction to Homotopy Type Theory
Egbert Rijke Egbert Rijke
Published: November 2025
ISBN: 9781108945967
Availability: This ISBN is for an eBook version which is distributed on our behalf by a third party.
Format: Adobe eBook Reader
View product
✕
Introduction to Homotopy Type Theory
Introduction to Homotopy Type Theory
Egbert Rijke Egbert Rijke
Published: November 2025
ISBN: 9781108844161
Availability: Available
Format: Hardback
View product
✕
Polynomial Functors
Polynomial Functors
A Mathematical Theory of Interaction
Nelson Niu
(+1 other) Nelson Niu
David I. Spivak
Published: October 2025
ISBN: 9781009576741
Availability: This ISBN is for an eBook version which is distributed on our behalf by a third party.
Format: Adobe eBook Reader
View product
✕
Polynomial Functors
Polynomial Functors
A Mathematical Theory of Interaction
Nelson Niu
(+1 other) Nelson Niu
David I. Spivak
Published: October 2025
ISBN: 9781009576710
Availability: Available
Format: Paperback
View product
✕
Syntax and Semantics of Petri Nets
Syntax and Semantics of Petri Nets
Roberto Gorrieri Roberto Gorrieri
Published: September 2025
ISBN: 9781009613286
Availability: Available
Format: Hardback
View product
✕
Syntax and Semantics of Petri Nets
Syntax and Semantics of Petri Nets
Roberto Gorrieri Roberto Gorrieri
Published: September 2025
ISBN: 9781009613293
Availability: This ISBN is for an eBook version which is distributed on our behalf by a third party.
Format: Adobe eBook Reader
View product
✕
Polygraphs: From Rewriting to Higher Categories
Polygraphs: From Rewriting to Higher Categories
Dimitri Ara
(+5 others) Dimitri Ara
Albert Burroni
Yves Guiraud
(+3 others)
Published: April 2025
ISBN: 9781009498982
Availability: Available
Format: Paperback
View product
✕
Polygraphs: From Rewriting to Higher Categories
Polygraphs: From Rewriting to Higher Categories
Dimitri Ara
(+5 others) Dimitri Ara
Albert Burroni
Yves Guiraud
(+3 others)
Published: April 2025
ISBN: 9781009498975
Availability: This ISBN is for an eBook version which is distributed on our behalf by a third party.
Format: Adobe eBook Reader
View product
✕
Session Types
Session Types
Simon J. Gay
(+1 other) Simon J. Gay
Vasco T. Vasconcelos
Published: March 2025
ISBN: 9781316518274
Availability: Available
Format: Hardback
View product
✕
Session Types
Session Types
Simon J. Gay
(+1 other) Simon J. Gay
Vasco T. Vasconcelos
Published: March 2025
ISBN: 9781009003261
Availability: This ISBN is for an eBook version which is distributed on our behalf by a third party.
Format: Adobe eBook Reader
View product
✕
Digital Behavior
Digital Behavior
Evidence-Based Digital Design
Umberto Leon Dominguez Umberto Leon Dominguez
Published: February 2025
ISBN: 9781009568340
Availability: This ISBN is for an eBook version which is distributed on our behalf by a third party.
Format: Adobe eBook Reader
View product
✕
Digital Behavior
Digital Behavior
Evidence-Based Digital Design
Umberto Leon Dominguez Umberto Leon Dominguez
Published: February 2025
ISBN: 9781009568326
Availability: Available
Format: Paperback
View product
✕
Digital Behavior
Digital Behavior
Evidence-Based Digital Design
Umberto Leon Dominguez Umberto Leon Dominguez
Published: February 2025
ISBN: 9781009568333
Availability: Available
Format: Hardback
View product
✕
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
Published: February 2025
ISBN: 9781108835466
Availability: Available
Format: Hardback
View product
✕
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
Published: February 2025
ISBN: 9781108880671
Availability: This ISBN is for an eBook version which is distributed on our behalf by a third party.
Format: Adobe eBook Reader
View product
Per Page 1 – 12 of 234

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

Cambridge University Press