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 230
  • 1 – 12 of 230
✕
Formal Methods, Informally
Formal Methods, Informally
How to Write Programs That Work
Carroll Morgan Carroll Morgan
January 2026
9781009421027
Not yet published - available from January 2026
Paperback
AUD$75.95 inc GST
✕
Formal Methods, Informally
Formal Methods, Informally
How to Write Programs That Work
Carroll Morgan Carroll Morgan
January 2026
9781009420990
Not yet published - available from January 2026
Hardback
AUD$122.95 inc GST
✕
Cultures of Programming
Open Access
Cultures of Programming
The Development of Programming Concepts and Methodologies
Tomas Petricek Tomas Petricek
December 2025
9781009492348
Not yet published - available from December 2025
Hardback
AUD$170.95 inc GST
View Open Access
✕
Proof Theory and Logic Programming
Proof Theory and Logic Programming
Computation as Proof Search
Dale Miller Dale Miller
December 2025
9781009561297
Not yet published - available from December 2025
Hardback
AUD$115.95 inc GST
✕
Introduction to Homotopy Type Theory
Introduction to Homotopy Type Theory
Egbert Rijke Egbert Rijke
October 2025
9781108844161
Not yet published - available from October 2025
Hardback
AUD$96.95 inc GST
✕
Polynomial Functors
Polynomial Functors
A Mathematical Theory of Interaction
Nelson Niu
(+1 other) Nelson Niu
David I. Spivak
October 2025
9781009576710
Not yet published - available from October 2025
Paperback
AUD$144.95 inc GST
✕
Polynomial Functors
Polynomial Functors
A Mathematical Theory of Interaction
Nelson Niu
(+1 other) Nelson Niu
David I. Spivak
August 2025
9781009576741
Not yet published - available from August 2025
Adobe eBook Reader
AUD$131.77 USD
✕
Syntax and Semantics of Petri Nets
Syntax and Semantics of Petri Nets
Roberto Gorrieri Roberto Gorrieri
September 2025
9781009613286
Not yet published - available from September 2025
Hardback
AUD$211.95 inc GST
✕
Syntax and Semantics of Petri Nets
Syntax and Semantics of Petri Nets
Roberto Gorrieri Roberto Gorrieri
August 2025
9781009613293
Not yet published - available from August 2025
Adobe eBook Reader
AUD$192.68 USD
✕
Polygraphs: From Rewriting to Higher Categories
Polygraphs: From Rewriting to Higher Categories
Dimitri Ara
(+5 others) Dimitri Ara
Albert Burroni
Yves Guiraud
(+3 others)
April 2025
9781009498975
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$115.00 USD
Buy eBook
✕
Polygraphs: From Rewriting to Higher Categories
Polygraphs: From Rewriting to Higher Categories
Dimitri Ara
(+5 others) Dimitri Ara
Albert Burroni
Yves Guiraud
(+3 others)
April 2025
9781009498982
Available, despatch within 3-4 weeks
Paperback
AUD$173.95 inc GST
✕
Session Types
Session Types
Simon J. Gay
(+1 other) Simon J. Gay
Vasco T. Vasconcelos
March 2025
9781316518274
Available
Hardback
AUD$92.95 inc GST
✕
Session Types
Session Types
Simon J. Gay
(+1 other) Simon J. Gay
Vasco T. Vasconcelos
March 2025
9781009003261
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$59.99 USD
Buy eBook
✕
Digital Behavior
Digital Behavior
Evidence-Based Digital Design
Umberto Leon Dominguez Umberto Leon Dominguez
February 2025
9781009568333
Available
Hardback
AUD$182.95 inc GST
✕
Digital Behavior
Digital Behavior
Evidence-Based Digital Design
Umberto Leon Dominguez Umberto Leon Dominguez
February 2025
9781009568340
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$41.99 USD
Buy eBook
✕
Digital Behavior
Digital Behavior
Evidence-Based Digital Design
Umberto Leon Dominguez Umberto Leon Dominguez
February 2025
9781009568326
Available
Paperback
AUD$59.95 inc GST
✕
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
AUD$298.95 inc GST
✕
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
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$205.00 USD
Buy eBook
✕
Programming in Ada 2022
Programming in Ada 2022
John Barnes John Barnes
November 2024
9781009564779
Available
Paperback
AUD$163.95 inc GST
✕
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 USD
Buy eBook
✕
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
Available, despatch within 3-4 weeks
Hardback
AUD$125.95 inc GST
✕
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
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$84.99 USD
Buy eBook
Per Page 1 – 12 of 230
  • 1 – 12 of 230

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

    Acknowledgement

    Cambridge University Press & Assessment acknowledges, celebrates and respects the Boonwurrung People of the Kulin Nation as the Traditional Custodians of the land on which our office in Australia stands. We pay our respects to their ancestors, elders and emerging leaders and extend our respect to Aboriginal and Torres Strait Islander People from all nations of this land, and whose cultures are among the oldest continuing in human history.

      Content warning

      Aboriginal and Torres Strait Islander viewers are advised that this website/platform may contain the image, voice, or name of deceased persons. We apologise for any distress that may occur.