Programming languages and applied logic
Results
✕
Syntax and Semantics of Petri Nets
August 2025
9781009613286
Not yet published - available from August 2025
Hardback
CAD$160.95
✕
Polygraphs: From Rewriting to Higher Categories
May 2025
9781009498982
Not yet published - available from May 2025
Paperback
CAD$131.95
✕
Polygraphs: From Rewriting to Higher Categories
March 2025
9781009498975
Not yet published - available from March 2025
Adobe eBook Reader
$115.00
✕
CAD$68.95
✕
CAD$143.95
✕
CAD$47.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
CAD$235.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
May 2024
9781009349697
In stock
Hardback
CAD$97.95
✕
Topological Duality for Distributive Lattices
Theory and Applications
May 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
✕
CAD$56.95
✕
Joy with Java
Fundamentals of Object Oriented Programming
August 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
August 2023
9781009211918
Available, despatch within 1-2 weeks
Paperback
CAD$114.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
✕
✕
CAD$47.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
✕
CAD$108.95
