You are viewing content intended for a different location. This may affect your ability to shop online.

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 – 12 of 308
✕
200 Problems on Languages, Automata, and Computation
200 Problems on Languages, Automata, and Computation
Filip Murlak
(+2 others) Filip Murlak
Damian Niwiński
Wojciech Rytter
Published: N/A
ISBN: 9781316513460
Format: Hardback
View product
✕
200 Problems on Languages, Automata, and Computation
200 Problems on Languages, Automata, and Computation
Filip Murlak
(+2 others) Filip Murlak
Damian Niwiński
Wojciech Rytter
Published: N/A
ISBN: 9781009073783
Format: Paperback
View product
✕
A Distributed Pi-Calculus
A Distributed Pi-Calculus
Matthew Hennessy Matthew Hennessy
Published: N/A
ISBN: 9780521873307
Format: Hardback
View product
✕
A Framework for Priority Arguments
A Framework for Priority Arguments
Manuel Lerman Manuel Lerman
Published: N/A
ISBN: 9780521119696
Format: Hardback
View product
✕
A Practical Handbook for Software Development
A Practical Handbook for Software Development
N. D. Birrell
(+1 other) N. D. Birrell
M. A. Ould
Published: N/A
ISBN: 9780521254625
Format: Hardback
View product
✕
A Practical Handbook for Software Development
A Practical Handbook for Software Development
N. D. Birrell
(+1 other) N. D. Birrell
M. A. Ould
Published: N/A
ISBN: 9780521347921
Format: Paperback
View product
✕
A Practical Introduction to Denotational Semantics
A Practical Introduction to Denotational Semantics
L. Allison L. Allison
Published: N/A
ISBN: 9780521306898
Format: Hardback
View product
✕
A Practical Introduction to Denotational Semantics
A Practical Introduction to Denotational Semantics
L. Allison L. Allison
Published: N/A
ISBN: 9780521314237
Format: Paperback
View product
✕
A Theory of Indexing
A Theory of Indexing
Gerard Salton Gerard Salton
Published: N/A
ISBN: 9780898710151
Format: Paperback
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
Published: N/A
ISBN: 9780521117876
Format: Paperback
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
Published: N/A
ISBN: 9780521391962
Format: Hardback
View product
✕
Action Refinement in Process Algebras
Action Refinement in Process Algebras
Luca Aceto Luca Aceto
Published: N/A
ISBN: 9780521431118
Format: Hardback
View product
✕
Action Semantics
Action Semantics
Peter D. Mosses Peter D. Mosses
Published: N/A
ISBN: 9780521403474
Format: Hardback
View product
✕
Action Semantics
Action Semantics
Peter D. Mosses Peter D. Mosses
Published: N/A
ISBN: 9780521619332
Format: Paperback
View product
✕
Ada Components: Libraries and Tools
Ada Components: Libraries and Tools
Proceedings of the Ada-Europe International Conference Stockholm 26-28 May 1987
Sven Tafvelin Sven Tafvelin
Published: N/A
ISBN: 9780521346368
Format: Hardback
View product
✕
Ada for Distributed Systems
Ada for Distributed Systems
Colin Atkinson
(+2 others) Colin Atkinson
Trevor Moreton
Antonio Natali
Published: N/A
ISBN: 9780521361545
Format: Hardback
View product
✕
Ada for Multi-Microprocessors
Ada for Multi-Microprocessors
M. Tedd M. Tedd
Published: N/A
ISBN: 9780521301039
Format: Hardback
View product
Per Page 1 – 12 of 308

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

Cambridge University Press