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
October 1994
9780521471039
Replaced by 9780521070072
Hardback
£69.00
✕
Logic Programming
Operational Semantics and Proof Theory
August 2004
9780521607544
Available
Paperback
£38.00
✕
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
December 1992
9780521432191
Replaced by 9780521607544
Hardback
£45.00
✕
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
✕
£41.00
✕
Axiomatic Domain Theory in Categories of Partial Maps
August 1996
9780521571883
Replaced by 9780521602778
Hardback
£75.00
✕
✕
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
✕
£45.00
✕
Action Refinement in Process Algebras
September 1992
9780521431118
Unavailable - out of print March 2007
Hardback
Out of Print
✕
Project Factorisations in Partial Evaluation
October 1991
9780521414975
Unavailable - out of print
Hardback
Out of Print
