Programming languages and applied logic
Results
✕
Syntax and Semantics of Petri Nets
August 2025
9781009613286
Not yet published - available from August 2025
Hardback
AUD$211.95
✕
Polygraphs: From Rewriting to Higher Categories
April 2025
9781009498982
Not yet published - available from June 2025
Paperback
AUD$173.95
✕
Polygraphs: From Rewriting to Higher Categories
March 2025
9781009498975
Not yet published - available from March 2025
Adobe eBook Reader
$115.00
✕
AUD$92.95
✕
AUD$182.95
✕
AUD$59.95
✕
Digital Behavior
Evidence-Based Digital Design
January 2025
9781009568340
Not yet published - available from January 2025
Adobe eBook Reader
$41.99
✕
Initial Algebras and Terminal Coalgebras
The Theory of Fixed Points of Functors
February 2025
9781108835466
Available
Hardback
AUD$298.95
✕
✕
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
✕
Topological Duality for Distributive Lattices
Theory and Applications
March 2024
9781009349697
Available, despatch within 3-4 weeks
Hardback
AUD$125.95
✕
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
✕
Introducing String Diagrams
The Art of Category Theory
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
✕
AUD$77.95
✕
Joy with Java
Fundamentals of Object Oriented Programming
June 2023
9781009211901
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$99.99
✕
Joy with Java
Fundamentals of Object Oriented Programming
June 2023
9781009211918
Available, despatch within 3-4 weeks
Paperback
AUD$144.95
✕
✕
Introduction to Choreographies
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
✕
Handbook of Constructive Mathematics
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
✕
AUD$289.95
✕
AUD$57.95
✕
200 Problems on Languages, Automata, and Computation
April 2023
9781009075572
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$42.00
✕
AUD$135.95
