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
✕
Initial Algebras and Terminal Coalgebras
The Theory of Fixed Points of Functors
February 2025
9781108835466
Available
Hardback
AUD$298.95
✕
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
✕
Finite-State Techniques
Automata, Transducers and Bimachines
August 2019
9781108485418
Available, despatch within 3-4 weeks
Hardback
AUD$129.95
✕
Finite-State Techniques
Automata, Transducers and Bimachines
August 2019
9781108621137
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$94.00
✕
Introduction to Coalgebra
Towards Mathematics of States and Observation
October 2016
9781107177895
Available
Hardback
AUD$273.95
✕
Introduction to Coalgebra
Towards Mathematics of States and Observation
October 2016
9781316836019
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$191.00
✕
Temporal Logics in Computer Science
Finite-State Systems
October 2016
9781316728567
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$148.00
✕
Temporal Logics in Computer Science
Finite-State Systems
October 2016
9781107028364
Available, despatch within 3-4 weeks
Hardback
AUD$207.95
✕
AUD$106.95
✕
Nominal Sets
Names and Symmetry in Computer Science
N/A
9781107240186
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$74.00
✕
Nonmonotonic Reasoning
Logical Foundations of Commonsense
March 2012
9780521181303
Available
Paperback
AUD$75.95
✕
Nonmonotonic Reasoning
Logical Foundations of Commonsense
April 1991
9780521383943
Available
Hardback
AUD$125.95
✕
Concurrency Verification
Introduction to Compositional and Non-compositional Methods
January 2012
9780521169325
Available
Paperback
AUD$139.95
✕
Concurrency Verification
Introduction to Compositional and Non-compositional Methods
November 2002
9780521806084
Available
Hardback
AUD$437.00
✕
AUD$212.95
✕
Advanced Topics in Bisimulation and Coinduction
October 2011
9781139153799
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$148.00
✕
Process Algebra: Equational Theories of Communicating Processes
January 2010
9780521820493
Available
Hardback
AUD$168.95
✕
Process Algebra: Equational Theories of Communicating Processes
January 2010
9780511717420
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$120.00
✕
A Unifying Framework for Structured Analysis and Design Models
An Approach Using Initial Algebra Semantics and Category Theory
July 2009
9780511877810
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$50.00
✕
A Unifying Framework for Structured Analysis and Design Models
An Approach Using Initial Algebra Semantics and Category Theory
July 2009
9780521117876
Available
Paperback
AUD$71.95
✕
A Unifying Framework for Structured Analysis and Design Models
An Approach Using Initial Algebra Semantics and Category Theory
July 1991
9780521391962
Available
Hardback
AUD$212.95
