Programming languages and applied logic
Results
Filter
Current filters
Refine results
Results
✕
Formal Methods, Informally
How to Write Programs That Work
January 2026
9781009421027
Not yet published - available from January 2026
Paperback
AUD$0.00 exc GST
✕
Formal Methods, Informally
How to Write Programs That Work
January 2026
9781009420990
Not yet published - available from January 2026
Hardback
AUD$0.00 exc GST
✕
Cultures of Programming
The Development of Programming Concepts and Methodologies
December 2025
9781009492348
Not yet published - available from December 2025
Hardback
AUD$155.41 exc GST
✕
Polynomial Functors
A Mathematical Theory of Interaction
December 2025
9781009576710
Not yet published - available from December 2025
Paperback
AUD$131.77 exc GST
✕
Polynomial Functors
A Mathematical Theory of Interaction
August 2025
9781009576741
Not yet published - available from August 2025
Adobe eBook Reader
AUD$119.79 USD
✕
Proof Theory and Logic Programming
Computation as Proof Search
December 2025
9781009561297
Not yet published - available from December 2025
Hardback
AUD$0.00 exc GST
✕
Introduction to Homotopy Type Theory
October 2025
9781108844161
Not yet published - available from October 2025
Hardback
AUD$88.14 exc GST
✕
Syntax and Semantics of Petri Nets
September 2025
9781009613286
Not yet published - available from September 2025
Hardback
AUD$192.68 exc GST
✕
Syntax and Semantics of Petri Nets
August 2025
9781009613293
Not yet published - available from August 2025
Adobe eBook Reader
AUD$175.16 USD
✕
Polygraphs: From Rewriting to Higher Categories
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
✕
Polygraphs: From Rewriting to Higher Categories
April 2025
9781009498982
Available, despatch within 3-4 weeks
Paperback
AUD$158.14 exc GST
✕
Session Types
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
✕
✕
Digital Behavior
Evidence-Based Digital Design
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
✕
AUD$166.32 exc GST
✕
AUD$54.50 exc GST
✕
Initial Algebras and Terminal Coalgebras
The Theory of Fixed Points of Functors
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
✕
Initial Algebras and Terminal Coalgebras
The Theory of Fixed Points of Functors
February 2025
9781108835466
Available
Hardback
AUD$271.77 exc GST
✕
Programming in Ada 2022
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
✕
AUD$149.05 exc GST
✕
Topological Duality for Distributive Lattices
Theory and Applications
March 2024
9781009349697
Available, despatch within 3-4 weeks
Hardback
AUD$114.50 exc GST
✕
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 USD
