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

Online ordering will be unavailable from Sunday, October 5 at 08:00 GMT until 18:00 GMT .

To place an order, please contact Customer Services.

UK/ROW directcs@cambridge.org +44 (0) 1223 326050 | US customer_service@cambridge.org 1 800 872 7423 or 1 212 337 5000 | Australia/New Zealand enquiries@cambridge.edu.au 61 3 86711400 or 1800 005 210, New Zealand 0800 023 520

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 – 12 of 52
✕
A Unifying Framework for Structured Analysis and Design Models
A Unifying Framework for Structured Analysis and Design Models
An Approach Using Initial Algebra Semantics and Category Theory
T. H. Tse T. H. Tse
N/A
9780521391962
Hardback
View product
✕
A Unifying Framework for Structured Analysis and Design Models
A Unifying Framework for Structured Analysis and Design Models
An Approach Using Initial Algebra Semantics and Category Theory
T. H. Tse T. H. Tse
N/A
9780521117876
Paperback
View product
✕
Action Semantics
Action Semantics
Peter D. Mosses Peter D. Mosses
N/A
9780521619332
Paperback
View product
✕
Action Semantics
Action Semantics
Peter D. Mosses Peter D. Mosses
N/A
9780521403474
Hardback
View product
✕
Advanced Topics in Bisimulation and Coinduction
Advanced Topics in Bisimulation and Coinduction
Davide Sangiorgi
(+1 other) Davide Sangiorgi
Jan Rutten
N/A
9781107004979
Hardback
View product
✕
Algebraic Specification of Communication Protocols
Algebraic Specification of Communication Protocols
S. Mauw
(+1 other) S. Mauw
G. J. Veltink
N/A
9780521418836
Hardback
View product
✕
Algebraic Specification of Communication Protocols
Algebraic Specification of Communication Protocols
S. Mauw
(+1 other) S. Mauw
G. J. Veltink
N/A
9780521088121
Paperback
View product
✕
Algorithmic Information Theory
Algorithmic Information Theory
Gregory. J. Chaitin Gregory. J. Chaitin
N/A
9780521616041
Paperback
View product
✕
Algorithmic Information Theory
Algorithmic Information Theory
Gregory. J. Chaitin Gregory. J. Chaitin
N/A
9780521343060
Hardback
View product
✕
Applications of Process Algebra
Applications of Process Algebra
J. C. M. Baeten J. C. M. Baeten
N/A
9780521607506
Paperback
View product
✕
Applications of Process Algebra
Applications of Process Algebra
J. C. M. Baeten J. C. M. Baeten
N/A
9780521400282
Hardback
View product
✕
Basic Proof Theory
Basic Proof Theory
A. S. Troelstra
(+1 other) A. S. Troelstra
H. Schwichtenberg
N/A
9780521572231
Hardback
View product
✕
Basic Proof Theory
Basic Proof Theory
A. S. Troelstra
(+1 other) A. S. Troelstra
H. Schwichtenberg
2nd Edition
N/A
9780521779111
Paperback
View product
✕
Basic Simple Type Theory
Basic Simple Type Theory
J. Roger Hindley J. Roger Hindley
N/A
9780521054225
Paperback
View product
✕
Basic Simple Type Theory
Basic Simple Type Theory
J. Roger Hindley J. Roger Hindley
N/A
9780521465182
Hardback
View product
✕
Concurrency Verification
Concurrency Verification
Introduction to Compositional and Non-compositional Methods
Willem-Paul de Roever
(+6 others) Willem-Paul de Roever
Frank de Boer
Ulrich Hanneman
(+4 others)
N/A
9780521169325
Paperback
View product
✕
Concurrency Verification
Concurrency Verification
Introduction to Compositional and Non-compositional Methods
Willem-Paul de Roever
(+6 others) Willem-Paul de Roever
Frank de Boer
Ulrich Hanneman
(+4 others)
N/A
9780521806084
Hardback
View product
✕
Data Refinement
Data Refinement
Model-Oriented Proof Methods and their Comparison
Willem-Paul de Roever
(+1 other) Willem-Paul de Roever
Kai Engelhardt
N/A
9780521641708
Hardback
View product
✕
Data Refinement
Data Refinement
Model-Oriented Proof Methods and their Comparison
Willem-Paul de Roever
(+1 other) Willem-Paul de Roever
Kai Engelhardt
N/A
9780521103503
Paperback
View product
✕
Deductive and Declarative Programming
Deductive and Declarative Programming
Peter Padawitz Peter Padawitz
N/A
9780521032513
Paperback
View product
✕
Deductive and Declarative Programming
Deductive and Declarative Programming
Peter Padawitz Peter Padawitz
N/A
9780521417235
Hardback
View product
Per Page 1 – 12 of 52

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