Skip to content
Register Sign in Wishlist

Programming languages and applied logic


Refine results

Refine results

Clear all




  • (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.


Listing Grid
Found 222 Results
Page 1 of 12
  • Initial Algebras and Terminal Coalgebras

    The Theory of Fixed Points of Functors

    Adámek, Jiří
    Milius, Stefan
    Moss, Lawrence S.
    Published: Not yet published - available from September 2024

    $205.00 (F)


  • Topological Duality for Distributive Lattices

    Theory and Applications

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

    $84.99 (P)

  • Introducing String Diagrams

    The Art of Category Theory

    Hinze, Ralf
    Marsden, Dan
    Published: August 2023

    $49.99 (P)

    Add to cart
  • Joy with Java

    Fundamentals of Object Oriented Programming

    Samanta, Debasis
    Sarma, Monalisa
    Published: August 2023

    $99.99 (C)

    Add to cart Order examination
  • Introduction to Choreographies

    Montesi, Fabrizio
    Published: May 2023

    $64.99 (P)

    Add to cart
  • Handbook of Constructive Mathematics

    Bridges, Douglas
    Ishihara, Hajime
    Rathjen, Michael
    (+ 1 other)
    Published: May 2023

    $195.00 (F)

    Add to cart
  • 200 Problems on Languages, Automata, and Computation

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

    $39.99 (P)

    Add to cart
  • Software Engineering

    Basic Principles and Best Practices

    Sethi, Ravi
    Published: March 2023

    $59.99 (C)

    Add to cart Order examination
  • Real World OCaml: Functional Programming for the Masses

    Madhavapeddy, Anil
    Minsky, Yaron
    Published: January 2023
    2nd Edition

    $44.99 (P)

    Add to cart
  • Mathematical Logic through Python

    Gonczarowski, Yannai A.
    Nisan, Noam
    Published: December 2022

    $29.99 (P)

    Add to cart
  • Mathematical Logic and Computation

    Avigad, Jeremy
    Published: November 2022

    $79.99 (C)

    Add to cart
  • Programming Languages

    Build, Prove, and Compare

    Ramsey, Norman
    Published: October 2022

    $84.99 (P)

    Add to cart Order examination
  • The Dialogical Roots of Deduction

    Historical, Cognitive, and Philosophical Perspectives on Reasoning

    Dutilh Novaes, Catarina
    Published: August 2022

    $32.99 (F)

    Add to cart
  • Programming in Ada 2012 with a Preview of Ada 2022

    Barnes, John
    Published: May 2022
    2nd Edition

    $110.00 (P)

    Add to cart
  • Essentials of Software Testing


    Bierig, Ralf
    Brown, Stephen
    Galván, Edgar
    (+ 1 other)
    Published: October 2021

    $59.99 (P)

    Add to cart Order examination
  • Model Checking Quantum Systems

    Principles and Algorithms

    Ying, Mingsheng
    Feng, Yuan
    Published: March 2021

    $68.99 (C)

    Add to cart
  • Foundations of Probabilistic Programming

    Barthe, Gilles
    Katoen, Joost-Pieter
    Silva, Alexandra
    Published: January 2021

    $68.99 (C)

    Add to cart
  • Algorithm Design with Haskell

    Bird, Richard
    Gibbons, Jeremy
    Published: August 2020

    $68.99 (C)

    Add to cart
  • Python for Linguists

    Hammond, Michael
    Published: June 2020

    $41.99 (P)

    Add to cart
  • Finite-State Techniques

    Automata, Transducers and Bimachines

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

    $88.99 (C)

    Add to cart
Found 222 Results
Page 1 of 12

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

Continue ×

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.