Programming languages and applied logic
Results
✕
Syntax and Semantics of Petri Nets
August 2025
9781009613286
Not yet published - available from August 2025
Hardback
✕
Polygraphs: From Rewriting to Higher Categories
April 2025
9781009498982
Not yet published - available from March 2025
Paperback
✕
✕
✕
Digital Behavior
Evidence-Based Digital Design
February 2025
9781009568333
Not yet published - available from February 2025
Hardback
✕
Digital Behavior
Evidence-Based Digital Design
February 2025
9781009568326
Not yet published - available from February 2025
Paperback
✕
✕
Initial Algebras and Terminal Coalgebras
The Theory of Fixed Points of Functors
February 2025
9781108835466
Not yet published - available from February 2025
Hardback
✕
Programming in Ada 2022
November 2024
9781009564779
Not yet published - available from February 2025
Paperback
✕
Topological Duality for Distributive Lattices
Theory and Applications
March 2024
9781009349697
Available, despatch within 3-4 weeks
Hardback
✕
Introducing String Diagrams
The Art of Category Theory
August 2023
9781009317863
Not yet published - available from February 2025
Hardback
✕
Joy with Java
Fundamentals of Object Oriented Programming
June 2023
9781009211918
Available, despatch within 3-4 weeks
Paperback
✕
Introduction to Choreographies
May 2023
9781108833769
Not yet published - available from February 2025
Hardback
✕
Handbook of Constructive Mathematics
May 2023
9781316510865
Not yet published - available from February 2025
Hardback
✕
200 Problems on Languages, Automata, and Computation
April 2023
9781009073783
Not yet published - available from February 2025
Paperback
✕
200 Problems on Languages, Automata, and Computation
April 2023
9781316513460
Not yet published - available from February 2025
Hardback
