Programming languages and applied logic
Results
✕
Syntax and Semantics of Petri Nets
August 2025
9781009613286
Not yet published - available from August 2025
Hardback
AUD$192.68
✕
Polygraphs: From Rewriting to Higher Categories
April 2025
9781009498982
Not yet published - available from June 2025
Paperback
AUD$158.14
✕
Polygraphs: From Rewriting to Higher Categories
March 2025
9781009498975
Not yet published - available from March 2025
Adobe eBook Reader
AUD$143.76
✕
AUD$84.50
✕
AUD$166.32
✕
AUD$54.50
✕
Digital Behavior
Evidence-Based Digital Design
January 2025
9781009568340
Not yet published - available from January 2025
Adobe eBook Reader
AUD$49.55
✕
Initial Algebras and Terminal Coalgebras
The Theory of Fixed Points of Functors
February 2025
9781108835466
Available
Hardback
AUD$271.77
✕
✕
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$114.50
✕
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$70.86
✕
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$131.77
✕
✕
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$263.59
✕
AUD$52.68
✕
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
$39.99
✕
AUD$123.59
