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

0
0
Your bag ✕
  • Qty:
    You have reached the maximum limit for this item
      • + 1 more item in your bag
      Subtotal

      Your bag is empty.

      Checkout
      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

      Clear all
      Filter
      ✕
      Current filters
      Clear all
      Refine results
      Select
      Select
      Breakthroughs in Application Development (1)
      British Computer Society Monographs in Informatics (1)
      British Computer Society Workshop Series (1)
      Cambridge Computer Science Texts (14)
      Cambridge International Series on Parallel Computation (3)
      Cambridge Series on Human-Computer Interaction (1)
      Cambridge Studies in Advanced Mathematics (4)
      Cambridge Tracts in Theoretical Computer Science (52)
      CBMS-NSF Regional Conference Series in Applied Mathematics (2)
      Distinguished Dissertations in Computer Science (7)
      Encyclopedia of Mathematics and its Applications (6)
      Lecture Notes in Logic (6)
      London Mathematical Society Lecture Note Series (6)
      London Mathematical Society Student Texts (1)
      New Mathematical Monographs (1)
      Perspectives in Logic (8)
      Publications of the Newton Institute (2)
      SIGS Reference Library (5)
      SIGS: Advances in Object Technology (3)
      Software, Environments and Tools (1)
      The Ada Companion Series (18)

      Results

      Publication Date
      Publication Date
      Title A-Z
      Title Z-A
      Price Low > High
      Price High > Low
      Author A-Z
      Author Z-A
      Clear all
      12
      12
      24
      36
      60
      96
      Per Page 1 – 12 of 301
      ✕
      Syntax and Semantics of Petri Nets
      Syntax and Semantics of Petri Nets
      Roberto Gorrieri Roberto Gorrieri
      August 2025
      9781009613286
      Manufactured on demand - supplied direct from the printer
      Hardback
      £110.00
      ✕
      Polygraphs: From Rewriting to Higher Categories
      Polygraphs: From Rewriting to Higher Categories
      Dimitri Ara
      (+5 others)       Dimitri Ara
      Albert Burroni
      Yves Guiraud
      (+3 others)
      March 2025
      9781009498982
      Manufactured on demand - supplied direct from the printer
      Paperback
      £90.00
      Paperback
      Paperback
      Adobe eBook Reader
      ✕
      Polygraphs: From Rewriting to Higher Categories
      Polygraphs: From Rewriting to Higher Categories
      Dimitri Ara
      (+5 others)       Dimitri Ara
      Albert Burroni
      Yves Guiraud
      (+3 others)
      March 2025
      9781009498975
      Manufactured on demand - supplied direct from the printer
      Adobe eBook Reader
      £90.00
      Adobe eBook Reader
      Paperback
      Adobe eBook Reader
      ✕
      Session Types
      Session Types
      Simon J. Gay
      (+1 other)       Simon J. Gay
      Vasco T. Vasconcelos
      March 2025
      9781316518274
      Manufactured on demand - supplied direct from the printer
      Hardback
      £47.99
      ✕
      Digital Behavior
      Digital Behavior
      Evidence-Based Digital Design
      Umberto Leon Dominguez Umberto Leon Dominguez
      February 2025
      9781009568333
      Manufactured on demand - supplied direct from the printer
      Hardback
      £95.00
      Hardback
      Hardback
      Paperback
      Adobe eBook Reader
      ✕
      Digital Behavior
      Digital Behavior
      Evidence-Based Digital Design
      Umberto Leon Dominguez Umberto Leon Dominguez
      February 2025
      9781009568326
      Manufactured on demand - supplied direct from the printer
      Paperback
      £30.99
      Paperback
      Hardback
      Paperback
      Adobe eBook Reader
      ✕
      Digital Behavior
      Digital Behavior
      Evidence-Based Digital Design
      Umberto Leon Dominguez Umberto Leon Dominguez
      January 2025
      9781009568340
      Manufactured on demand - supplied direct from the printer
      Adobe eBook Reader
      £30.99
      Adobe eBook Reader
      Hardback
      Paperback
      Adobe eBook Reader
      ✕
      Initial Algebras and Terminal Coalgebras
      Initial Algebras and Terminal Coalgebras
      The Theory of Fixed Points of Functors
      Jiří Adámek
      (+2 others)       Jiří Adámek
      Stefan Milius
      Lawrence S. Moss
      February 2025
      9781108835466
      Manufactured on demand - supplied direct from the printer
      Hardback
      £155.00
      ✕
      Programming in Ada 2022
      Programming in Ada 2022
      John Barnes John Barnes
      November 2024
      9781009564779
      Manufactured on demand - supplied direct from the printer
      Paperback
      £84.99
      Paperback
      Paperback
      Adobe eBook Reader
      ✕
      Programming in Ada 2022
      Programming in Ada 2022
      John Barnes John Barnes
      November 2024
      9781009564786
      Manufactured on demand - supplied direct from the printer
      Adobe eBook Reader
      $110.00
      Adobe eBook Reader
      Paperback
      Adobe eBook Reader
      Buy eBook
      ✕
      Topological Duality for Distributive Lattices
      Topological Duality for Distributive Lattices
      Theory and Applications
      Mai Gehrke
      (+1 other)       Mai Gehrke
      Sam van Gool
      March 2024
      9781009349697
      Manufactured on demand - supplied direct from the printer
      Hardback
      £64.99
      Hardback
      Hardback
      Adobe eBook Reader
      ✕
      Topological Duality for Distributive Lattices
      Topological Duality for Distributive Lattices
      Theory and Applications
      Mai Gehrke
      (+1 other)       Mai Gehrke
      Sam van Gool
      March 2024
      9781009349710
      Manufactured on demand - supplied direct from the printer
      Adobe eBook Reader
      $84.99
      Adobe eBook Reader
      Hardback
      Adobe eBook Reader
      Buy eBook
      ✕
      Introducing String Diagrams
      Introducing String Diagrams
      The Art of Category Theory
      Ralf Hinze
      (+1 other)       Ralf Hinze
      Dan Marsden
      August 2023
      9781009317863
      Manufactured on demand - supplied direct from the printer
      Hardback
      £39.99
      Hardback
      Hardback
      Adobe eBook Reader
      ✕
      Introducing String Diagrams
      Introducing String Diagrams
      The Art of Category Theory
      Ralf Hinze
      (+1 other)       Ralf Hinze
      Dan Marsden
      August 2023
      9781009317849
      Manufactured on demand - supplied direct from the printer
      Adobe eBook Reader
      $49.99
      Adobe eBook Reader
      Hardback
      Adobe eBook Reader
      Buy eBook
      ✕
      Joy with Java
      Joy with Java
      Fundamentals of Object Oriented Programming
      Debasis Samanta
      (+1 other)       Debasis Samanta
      Monalisa Sarma
      June 2023
      9781009211918
      Manufactured on demand - supplied direct from the printer
      Paperback
      £74.99
      Paperback
      Paperback
      Adobe eBook Reader
      ✕
      Joy with Java
      Joy with Java
      Fundamentals of Object Oriented Programming
      Debasis Samanta
      (+1 other)       Debasis Samanta
      Monalisa Sarma
      June 2023
      9781009211901
      Manufactured on demand - supplied direct from the printer
      Adobe eBook Reader
      $99.99
      Adobe eBook Reader
      Paperback
      Adobe eBook Reader
      Buy eBook
      ✕
      Introduction to Choreographies
      Introduction to Choreographies
      Fabrizio Montesi Fabrizio Montesi
      May 2023
      9781108833769
      Manufactured on demand - supplied direct from the printer
      Hardback
      £49.99
      Hardback
      Hardback
      Adobe eBook Reader
      ✕
      Introduction to Choreographies
      Introduction to Choreographies
      Fabrizio Montesi Fabrizio Montesi
      May 2023
      9781108992152
      Manufactured on demand - supplied direct from the printer
      Adobe eBook Reader
      $64.99
      Adobe eBook Reader
      Hardback
      Adobe eBook Reader
      Buy eBook
      ✕
      Handbook of Constructive Mathematics
      Handbook of Constructive Mathematics
      Douglas Bridges
      (+3 others)       Douglas Bridges
      Hajime Ishihara
      Michael Rathjen
      (+1 other)
      May 2023
      9781316510865
      Manufactured on demand - supplied direct from the printer
      Hardback
      £150.00
      Hardback
      Hardback
      Adobe eBook Reader
      ✕
      Handbook of Constructive Mathematics
      Handbook of Constructive Mathematics
      Douglas Bridges
      (+3 others)       Douglas Bridges
      Hajime Ishihara
      Michael Rathjen
      (+1 other)
      May 2023
      9781009041416
      Manufactured on demand - supplied direct from the printer
      Adobe eBook Reader
      $195.00
      Adobe eBook Reader
      Hardback
      Adobe eBook Reader
      Buy eBook
      ✕
      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
      April 2023
      9781009075572
      Manufactured on demand - supplied direct from the printer
      Adobe eBook Reader
      $39.99
      Adobe eBook Reader
      Adobe eBook Reader
      Paperback
      Hardback
      Buy eBook
      ✕
      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
      April 2023
      9781009073783
      Manufactured on demand - supplied direct from the printer
      Paperback
      £29.99
      Paperback
      Adobe eBook Reader
      Paperback
      Hardback
      ✕
      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
      April 2023
      9781316513460
      Manufactured on demand - supplied direct from the printer
      Hardback
      £70.00
      Hardback
      Adobe eBook Reader
      Paperback
      Hardback
      12
      12
      24
      36
      60
      96
      Per Page 1 – 12 of 301

      Save 20% on your next online purchase

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

      Subscribe

      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

      What we do

      About us

      © 2025 Cambridge University Press & Assessment