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

Show me

Format

Rating

  • (4)
  • (1)
  • (0)
  • (0)
  • (0)
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 229 Results
Page 10 of 12

This series contains other subjects. View the titles

  • Specifying Software

    Specifying Software

    A Hands-On Introduction

    textbook

    Tennent, R. D.
    Published: February 2002

    $64.00 (X)

    Add to cart Order examination
  • Mastering ENVY/Developer

    Mastering ENVY/Developer

    Pelrine, Joseph
    Knight, Alan
    Cho, Adrian
    Published: March 2001

    $94.00 (P)

    Add to cart
  • Basic Proof Theory

    Basic Proof Theory

    Troelstra, A. S.
    Schwichtenberg, H.
    Published: July 2000
    2nd Edition

    $66.00 (P)

    Add to cart
  • The Road to the Unified Software Development Process

    The Road to the Unified Software Development Process

    Jacobson, Ivar
    Bylund, Stefan
    Published: July 2000

    $84.00 (P)

    Paperback

    Add to cart
  • Fundamentals of OOP and Data Structures in Java

    Fundamentals of OOP and Data Structures in Java

    textbook

    Wiener, Richard
    Pinson, Lewis J.
    Published: June 2000

    (1 reviews)

    $117.00 (X)

    Hardback

    Add to cart Order examination
  • Derivation and Computation

    Derivation and Computation

    Taking the Curry-Howard Correspondence Seriously

    Simmons, H.
    Published: May 2000

    $170.00 (C)

    Hardback

    Add to cart
  • The Haskell School of Expression

    The Haskell School of Expression

    Learning Functional Programming through Multimedia

    Hudak, Paul
    Published: February 2000

    $79.00 (X)

     Add to cart Order examination
  • e-Enterprise

    e-Enterprise

    Business Models, Architecture, and Components

    Hoque, Faisal
    Published: February 2000

    $84.00 (P)

    Add to cart
  • More C++ Gems

    More C++ Gems

    Martin, Robert C.
    Published: January 2000

    $104.00 (P)

    Paperback

    Add to cart
  • More Java Gems

    More Java Gems

    Deugo, Dwight
    Published: April 2011

    $94.00 ( ) USD

    Adobe eBook Reader

    Buy eBook
  • Term Rewriting and All That

    Term Rewriting and All That

    Baader, Franz
    Nipkow, Tobias
    Published: August 1999

    $72.00 (P)

    Paperback

    Add to cart
  • Purely Functional Data Structures

    Purely Functional Data Structures

    Okasaki, Chris
    Published: June 1999

    $64.00 (P)

    Add to cart
  • Practical Foundations of Mathematics

    Practical Foundations of Mathematics

    Taylor, Paul
    Published: May 1999

    $225.00 (C)

    Hardback

    Add to cart
  • The Optimal Implementation of Functional Programming Languages

    The Optimal Implementation of Functional Programming Languages

    Asperti, Andrea
    Guerrini, Stefano
    Published: January 1999

    $114.00 (C)

    Hardback

    Add to cart
  • The Functional Approach to Programming

    The Functional Approach to Programming

    textbook

    Cousineau, Guy
    Mauny, Michel
    Callaway, K.
    Published: November 1998

    $99.00 (X)

    Add to cart Order examination
  • Algorithmic Geometry

    Algorithmic Geometry

    textbook

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

    $93.00 (X)

    Paperback

    Add to cart Order examination
  • Higher Order Operational Techniques in Semantics

    Higher Order Operational Techniques in Semantics

    Gordon, Andrew D.
    Pitts, Andrew M.
    Published: February 1998

    $114.00 (C)

    Hardback

    Add to cart
  • C++ Gems

    C++ Gems

    Programming Pearls from The C++ Report

    Lippman, Stanley B.
    Published: December 1997

    $88.00 (P)

    Paperback

    Add to cart
  • Object-Oriented COBOL

    Object-Oriented COBOL

    Arranga, Edmund C.
    Coyle, Frank P.
    Published: December 1997

    $94.00 (P)

    Paperback

    Add to cart
  • Metamathematics, Machines and Gödel's Proof

    Metamathematics, Machines and Gödel's Proof

    Shankar, N.
    Published: March 1997

    $59.00 (C)

    Add to cart
Found 229 Results
Page 10 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.
×