Our systems are now restored following recent technical disruption, and we’re working hard to catch up on publishing. We apologise for the inconvenience caused. Find out more

Item added to bagSorry, there was a problem getting your bag informationItem cannot be purchased with the existing contents of your bagItem unavailable online
✕

was added to your bag.

Please try again.

Sorry, this item cannot be purchased in the same transaction as the existing items in your bag.

Please complete the purchase of the items currently in your bag and then add this item in a separate transaction or visit Shopping Help.

Sorry, this product is not currently available to buy online. Please visit Shopping Help.

View bag and checkout
Remove item
✕

Are you sure you want to remove from your bag?

Recommended product

Popular links

Popular links

Programming languages and applied logic

Results

Filter
Current filters
Refine results

Results

Per Page 1 – 7 of 7
✕
Specification and Proof in Real Time CSP
Specification and Proof in Real Time CSP
Jim Davies Jim Davies
January 2012
9781107403864
Available
Paperback
AUD$92.68
View product
✕
Specification and Proof in Real Time CSP
Specification and Proof in Real Time CSP
Jim Davies Jim Davies
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
View product
✕
Specification and Proof in Real Time CSP
Specification and Proof in Real Time CSP
Jim Davies Jim Davies
July 1993
9780521450553
Available
Hardback
AUD$193.59
View product
✕
Functional Programming and Input/Output
Functional Programming and Input/Output
Andrew D. Gordon Andrew D. Gordon
July 2008
9780521070072
Available
Paperback
AUD$65.41
View product
✕
Functional Programming and Input/Output
Functional Programming and Input/Output
Andrew D. Gordon Andrew D. Gordon
December 1994
9780521471039
Replaced by 9780521070072
Hardback
AUD$122.73
View product
✕
Logic Programming
Logic Programming
Operational Semantics and Proof Theory
James H. Andrews James H. Andrews
August 2004
9780521607544
Available
Paperback
AUD$65.41
View product
✕
Logic Programming
Logic Programming
Operational Semantics and Proof Theory
James H. Andrews James H. Andrews
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
View product
✕
Logic Programming
Logic Programming
Operational Semantics and Proof Theory
James H. Andrews James H. Andrews
February 1993
9780521432191
Replaced by 9780521607544
Hardback
AUD$145.45
View product
✕
Axiomatic Domain Theory in Categories of Partial Maps
Axiomatic Domain Theory in Categories of Partial Maps
Marcelo P. Fiore Marcelo P. Fiore
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
View product
✕
Axiomatic Domain Theory in Categories of Partial Maps
Axiomatic Domain Theory in Categories of Partial Maps
Marcelo P. Fiore Marcelo P. Fiore
August 2004
9780521602778
Available
Paperback
AUD$69.05
View product
✕
Axiomatic Domain Theory in Categories of Partial Maps
Axiomatic Domain Theory in Categories of Partial Maps
Marcelo P. Fiore Marcelo P. Fiore
October 1996
9780521571883
Replaced by 9780521602778
Hardback
AUD$250.00
View product
✕
Qualified Types
Qualified Types
Theory and Practice
Mark P. Jones Mark P. Jones
December 2003
9780521543262
Available
Paperback
AUD$65.41
View product
✕
Qualified Types
Qualified Types
Theory and Practice
Mark P. Jones Mark P. Jones
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
View product
✕
Qualified Types
Qualified Types
Theory and Practice
Mark P. Jones Mark P. Jones
January 1995
9780521472531
Replaced by 9780521543262
Hardback
AUD$145.45
View product
✕
Action Refinement in Process Algebras
Action Refinement in Process Algebras
Luca Aceto Luca Aceto
November 1992
9780521431118
Unavailable - out of print
Hardback
Out of Print
View product
✕
Project Factorisations in Partial Evaluation
Project Factorisations in Partial Evaluation
John Launchbury John Launchbury
December 1991
9780521414975
Unavailable - out of print
Hardback
Out of Print
View product
Per Page 1 – 7 of 7

Save 20% on your next online purchase

Subscribe to Cambridge Alerts to receive email alerts on new books, offers and news...

Subscribe
alerts banner

Browse by related subject

 
✕

Sorry, this item cannot be purchased in the same transaction as the existing items in your cart.

Please complete the purchase of the items currently in your cart and then add this item in a separate transaction or contact

Customer Services