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
December 1994
9780521471039
Replaced by 9780521070072
Hardback
NZD$167.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
August 2004
9780521607544
Available
Paperback
NZD$77.95
✕
Logic Programming
Operational Semantics and Proof Theory
February 1993
9780521432191
Replaced by 9780521607544
Hardback
NZD$192.95
✕
NZD$82.95
✕
Axiomatic Domain Theory in Categories of Partial Maps
August 2004
9780511822674
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$51.00
✕
Axiomatic Domain Theory in Categories of Partial Maps
October 1996
9780521571883
Replaced by 9780521602778
Hardback
NZD$330.95
✕
Qualified Types
Theory and Practice
December 2003
9780511886553
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$50.00
✕
✕
NZD$192.95
✕
Action Refinement in Process Algebras
November 1992
9780521431118
Unavailable - out of print
Hardback
Out of Print
✕
Project Factorisations in Partial Evaluation
December 1991
9780521414975
Unavailable - out of print
Hardback
Out of Print
