Skip to content
Cart 
Register Sign in
Register Sign in Wishlist
Academic

Unlocking potential with the best learning and research solutions

Programming languages and applied logic

Results

Refine results

Refine results

Clear all

Series

Format

Rating

  • (4)
  • (1)
  • (0)
  • (0)
  • (0)

Show me

Subscribe now

Save 20% on your next online purchase

Receive email alerts on new books, offers and news in Programming languages and applied logic.

Results

Listing Grid
Found 223 Results
Page 1 of 12
  • 200 Problems on Languages, Automata, and Computation

    200 Problems on Languages, Automata, and Computation

    Murlak, Filip
    Niwiński, Damian
    Rytter, Wojciech
    Published: April 2023

    £29.99

     Add to cart
  • A Distributed Pi-Calculus

    A Distributed Pi-Calculus

    Hennessy, Matthew
    Published: March 2007

    £64.99

    Add to cart
  • A Framework for Priority Arguments

    A Framework for Priority Arguments

    Lerman, Manuel
    Published: June 2010

    £106.00

    Add to cart
  • A Practical Handbook for Software Development

    A Practical Handbook for Software Development

    Birrell, N. D.
    Ould, M. A.
    Published: February 1988

    £46.99

    Add to cart
  • A Practical Introduction to Denotational Semantics

    A Practical Introduction to Denotational Semantics

    textbook

    Allison, L.
    Published: February 1987

    £27.99

    Paperback

    Add to cart Order inspection
  • A Theory of Indexing

    A Theory of Indexing

    Salton, Gerard
    Published: February 1987

    £31.99

    Paperback

    Unavailable
  • 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

    Tse, T. H.
    Published: July 2009

    £29.99

    Add to cart
  • Action Semantics

    Action Semantics

    Mosses, Peter D.
    Published: February 2005

    £49.99

    Add to cart
  • Ada: Experiences and Prospects

    Ada: Experiences and Prospects

    Proceedings of the Ada-Europe International Conference, Dublin, 1990

    Lynch, Barry
    Published: July 1990

    £60.99

    Hardback

    Add to cart
  • Admissible Sets and Structures

    Admissible Sets and Structures

    Barwise, Jon
    Published: March 2017

    £123.00

    Add to cart
  • Advanced Topics in Bisimulation and Coinduction

    Advanced Topics in Bisimulation and Coinduction

    Sangiorgi, Davide
    Rutten, Jan
    Published: October 2011

    £82.99

    Add to cart
  • Advances in Linear Logic

    Advances in Linear Logic

    Girard, Jean-Yves
    Lafont, Yves
    Regnier, Laurent
    Published: June 1995

    £32.99

    Add to cart
  • Algebraic Automata Theory

    Algebraic Automata Theory

    Holcombe, M.
    Published: June 2004

    £49.99

    Add to cart
  • Algebraic Specification of Communication Protocols

    Algebraic Specification of Communication Protocols

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

    £38.99

    Add to cart
  • Algorithm Design with Haskell

    Algorithm Design with Haskell

    Bird, Richard
    Gibbons, Jeremy
    Published: July 2020

    £52.99

    Add to cart
  • Algorithmic Geometry

    Algorithmic Geometry

    textbook

    Boissonnat, Jean-Daniel
    Yvinec, Mariette
    Bronniman, Herve
    Published: March 1998

    £53.99

    Paperback

    Add to cart Order inspection
  • Algorithmic Information Theory

    Algorithmic Information Theory

    Chaitin, Gregory. J.
    Published: December 2004

    £45.99

    Add to cart
  • An Introduction to Category Theory

    An Introduction to Category Theory

    Simmons, Harold
    Published: September 2011

    £27.99

     Add to cart
  • An Introduction to Description Logic

    An Introduction to Description Logic

    Baader, Franz
    Horrocks, Ian
    Lutz, Carsten
    (+ 1 other)
    Published: April 2017

    £35.99

    Add to cart
  • An Invitation to Applied Category Theory

    An Invitation to Applied Category Theory

    Seven Sketches in Compositionality

    Fong, Brendan
    Spivak, David I.
    Published: July 2019

    £41.99

    Add to cart
Found 223 Results
Page 1 of 12

Browse by related subject

You are now leaving the Cambridge University Press website. Your eBook purchase and download will be completed by our partner www.ebooks.com. Please see the permission section of the www.ebooks.com 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
×

Continue ×

Save 20% off on your next online purchase with Cambridge Alerts

Receive email alerts on new books, offers and news...

Subscribe

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.

Cancel

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.
×