Skip to content
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

Subscribe to Cambridge Alerts

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

Results

Listing Grid
Found 230 Results
Page 10 of 12
  • Specifying Software

    Specifying Software

    A Hands-On Introduction

    textbook

    Tennent, R. D.
    Published: February 2002

    View product Order inspection
  • Mastering ENVY/Developer

    Mastering ENVY/Developer

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

    View product
  • Basic Proof Theory

    Basic Proof Theory

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

    View product
  • The Road to the Unified Software Development Process

    The Road to the Unified Software Development Process

    Jacobson, Ivar
    Bylund, Stefan
    Published: July 2000

    Paperback

    View product
  • 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)

    Hardback

    View product Order inspection
  • Derivation and Computation

    Derivation and Computation

    Taking the Curry-Howard Correspondence Seriously

    Simmons, H.
    Published: May 2000

    Hardback

    View product
  • The Haskell School of Expression

    The Haskell School of Expression

    Learning Functional Programming through Multimedia

    Hudak, Paul
    Published: February 2000

    View product Order inspection
  • e-Enterprise

    e-Enterprise

    Business Models, Architecture, and Components

    Hoque, Faisal
    Published: February 2000

    View product
  • More C++ Gems

    More C++ Gems

    Martin, Robert C.
    Published: January 2000

    Paperback

    View product
  • More Java Gems

    More Java Gems

    Deugo, Dwight
    Published: April 2011

    Adobe eBook Reader

    View product
  • Purely Functional Data Structures

    Purely Functional Data Structures

    Okasaki, Chris
    Published: June 1998

    View product
  • Term Rewriting and All That

    Term Rewriting and All That

    Baader, Franz
    Nipkow, Tobias
    Published: August 1999

    Paperback

    View product
  • Practical Foundations of Mathematics

    Practical Foundations of Mathematics

    Taylor, Paul
    Published: May 1999

    Hardback

    View product
  • The Optimal Implementation of Functional Programming Languages

    The Optimal Implementation of Functional Programming Languages

    Asperti, Andrea
    Guerrini, Stefano
    Published: December 1998

    Hardback

    View product
  • The Functional Approach to Programming

    The Functional Approach to Programming

    textbook

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

    View product Order inspection
  • Algorithmic Geometry

    Algorithmic Geometry

    textbook

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

    Paperback

    View product Order inspection
  • Higher Order Operational Techniques in Semantics

    Higher Order Operational Techniques in Semantics

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

    Hardback

    View product
  • C++ Gems

    C++ Gems

    Programming Pearls from The C++ Report

    Lippman, Stanley B.
    Published: December 1997

    Paperback

    View product
  • Object-Oriented COBOL

    Object-Oriented COBOL

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

    Paperback

    View product
  • Metamathematics, Machines and Gödel's Proof

    Metamathematics, Machines and Gödel's Proof

    Shankar, N.
    Published: January 1997

    View product
Found 230 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.
×