Programming languages and applied logic
Results
Filter
Current filters
Refine results
Results
✕
✕
Specification and Proof in Real Time CSP
January 2012
9781139243254
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$66.99
✕
✕
✕
Functional Programming and Input/Output
January 1995
9780521471039
Replaced by 9780521070072
Hardback
CAD$140.95
✕
Logic Programming
Operational Semantics and Proof Theory
August 2004
9780521607544
Available
Paperback
CAD$57.95
✕
Logic Programming
Operational Semantics and Proof Theory
August 2004
9780511882029
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$50.00
✕
Logic Programming
Operational Semantics and Proof Theory
January 1993
9780521432191
Replaced by 9780521607544
Hardback
CAD$96.95
✕
Axiomatic Domain Theory in Categories of Partial Maps
March 2004
9780511822674
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$51.00
✕
CAD$58.95
✕
Axiomatic Domain Theory in Categories of Partial Maps
August 1996
9780521571883
Replaced by 9780521602778
Hardback
CAD$170.95
✕
✕
Qualified Types
Theory and Practice
October 2003
9780511886553
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$50.00
✕
CAD$96.95
✕
Action Refinement in Process Algebras
August 1992
9780521431118
Unavailable - out of print March 2007
Hardback
Out of Print
✕
Project Factorisations in Partial Evaluation
November 1991
9780521414975
Unavailable - out of print
Hardback
Out of Print
