Skip to content
Register Sign in Wishlist

Cambridge Tracts in Theoretical Computer Science

This series offers books on theoretical computer science, that part of computer science concerned with fundamental mathematical questions about computers, programs, algorithms, data, and information processing systems in general. Computers and programs are inherently mathematical objects, and an understanding of their mathematical basis is essential to the appreciation of the foundations of computer science. The series covers the complete field of theoretical computer science, including mathematical foundations of computer science, formal methods of reasoning about programs and data, and formal semantics of programs and data, including formal semantics for natural language, pictures, and sound.

Associate Editor: S. Abramsky, Oxford University
Editorial Board: P. H. Aczel, University of Manchester; Y. Gurevich, Microsoft Research; J. V. Tucker, Swansea University


Refine results

Refine results

Clear all


Show me

Subscribe now

Save 20% on your next online purchase

Receive email alerts on new books, offers and news in Cambridge Tracts in Theoretical Computer Science.


Listing Grid
Found 52 Results
Page 1 of 3
  • Topological Duality for Distributive Lattices

    Theory and Applications

    Gehrke, Mai
    van Gool, Sam
    Published: Not yet published - available from March 2024



  • Finite-State Techniques

    Automata, Transducers and Bimachines

    Mihov, Stoyan
    Schulz, Klaus U.
    Published: August 2019


    Add to cart
  • Introduction to Coalgebra

    Towards Mathematics of States and Observation

    Jacobs, Bart
    Published: October 2016


    Add to cart
  • Temporal Logics in Computer Science

    Finite-State Systems

    Demri, Stéphane
    Goranko, Valentin
    Lange, Martin
    Published: October 2016


    Add to cart
  • Nominal Sets

    Names and Symmetry in Computer Science

    Pitts, Andrew M.
    Published: May 2013


    Add to cart
  • Nonmonotonic Reasoning

    Logical Foundations of Commonsense

    Brewka, Gerhard
    Published: March 2012


    Add to cart
  • Concurrency Verification

    Introduction to Compositional and Non-compositional Methods

    Roever, Willem-Paul de
    Boer, Frank de
    Hanneman, Ulrich
    (+ 4 others)
    Published: January 2012


    Add to cart
  • Advanced Topics in Bisimulation and Coinduction

    Sangiorgi, Davide
    Rutten, Jan
    Published: October 2011


    Add to cart
  • Process Algebra: Equational Theories of Communicating Processes

    Baeten, J. C. M.
    Basten, T.
    Reniers, M. A.
    Published: January 2010


    Add to cart
  • Hybrid Graph Theory and Network Analysis

    Novak, Ladislav
    Gibbons, Alan
    Published: September 2009


    Add to cart
  • Design Theory and Computer Science

    Dasgupta, Subrata
    Published: August 2009


    Add to cart
  • A Unifying Framework for Structured Analysis and Design Models

    An Approach Using Initial Algebra Semantics and Category Theory

    Tse, T. H.
    Published: July 2009


    Add to cart
  • The Clausal Theory of Types

    Wolfram, D. A.
    Published: July 2009


    Add to cart
  • Higher Order Logic and Hardware Verification

    Melham, T. F.
    Published: July 2009


    Add to cart
  • £47.99


    Add to cart
  • Data Refinement

    Model-Oriented Proof Methods and their Comparison

    de Roever, Willem-Paul
    Engelhardt, Kai
    Published: December 2008


    Add to cart
  • Algebraic Specification of Communication Protocols

    Mauw, S.
    Veltink, G. J.
    Published: December 2008


    Add to cart
  • Information Flow

    The Logic of Distributed Systems

    Barwise, Jon
    Seligman, Jerry
    Published: August 2008


    Add to cart
  • Mathematical Theory of Domains


    Stoltenberg-Hansen, V.
    Lindström, I.
    Griffor, E. R.
    Published: June 2008

  • Domains and Lambda-Calculi

    Amadio, Roberto M.
    Curien, Pierre-Louis
    Published: May 2008


    Add to cart
Found 52 Results
Page 1 of 3

You are now leaving the Cambridge University Press website. Your eBook purchase and download will be completed by our partner Please see the permission section of the catalogue page for details of the print & copy limits on our eBooks.

Continue ×

Continue ×
warning icon

Turn stock notifications on?

You must be signed in to your Cambridge account to turn product stock notifications on or off.

Sign in Create a Cambridge account arrow icon

Find content that relates to you

Join us online

This site uses cookies to improve your experience. Read more Close

Are you sure you want to delete your account?

This cannot be undone.


Thank you for your feedback which will help us improve our service.

If you requested a response, we will make sure to get back to you shortly.

Please fill in the required fields in your feedback submission.