Skip to navigation
Skip to content

Programming languages and applied logic (Textbooks)

These titles are sorted by publication date (descending)

Programming in Visual Basic 2010

The Very Beginner's Guide
  • Jim McKeown
  • Paperback (ISBN-13: 9780521721110)
  • View other formats:
  • Publication date: May 2010
  • Subject: Software engineering and development
  • In stock
  • £48.00

Mathematical Theory of Domains

  • V. Stoltenberg-Hansen, I. Lindström, E. R. Griffor
  • Paperback (ISBN-13: 9780521064798)
  • View other formats:
  • Publication date: June 2008
  • Subject: Programming languages and applied logic
  • Available
  • £39.99

Programming in Haskell

  • Graham Hutton
  • Paperback (ISBN-13: 9780521692694)
  • View other formats:
  • Publication date: January 2007
  • Subject: Programming languages and applied logic
  • In stock
  • £30.99

Logic in Computer Science

Modelling and Reasoning about Systems
  • 2nd Edition
  • Michael Huth, Mark Ryan
  • Paperback (ISBN-13: 9780521543101)
  • View other formats:
  • Publication date: August 2004
  • Subject: Programming languages and applied logic
  • In stock
  • £43.00

Modern Compiler Implementation in ML

  • Andrew W. Appel
  • Paperback (ISBN-13: 9780521607643)
  • View other formats:
  • Publication date: July 2004
  • Subject: Programming languages and applied logic
  • Available
  • £43.00

Modern Compiler Implementation in C

  • Andrew W. Appel, Maia Ginsburg
  • Paperback (ISBN-13: 9780521607650)
  • View other formats:
  • Publication date: July 2004
  • Subject: Programming languages and applied logic
  • Available
  • £43.00

Java Outside In

  • Ethan D. Bolker, Bill Campbell
  • Mixed media product (ISBN-13: 9780521010870)
  • Publication date: September 2003
  • Subject: Programming languages and applied logic
  • In stock
  • £33.99

Concepts in Programming Languages

  • John C. Mitchell
  • Hardback (ISBN-13: 9780521780988)
  • View other formats:
  • Publication date: November 2002
  • Subject: Programming languages and applied logic
  • In stock
  • £50.00

Modern Compiler Implementation in Java

  • 2nd Edition
  • Andrew W. Appel, Jens Palsberg
  • Hardback (ISBN-13: 9780521820608)
  • View other formats:
  • Publication date: October 2002
  • Subject: Programming languages and applied logic
  • In stock
  • £49.00

Specifying Software

A Hands-On Introduction
  • R. D. Tennent
  • Paperback (ISBN-13: 9780521004015)
  • View other formats:
  • Publication date: April 2002
  • Subject: Programming languages and applied logic
  • Available
  • £25.99

Fundamentals of OOP and Data Structures in Java

  • Richard Wiener, Lewis J. Pinson
  • Hardback (ISBN-13: 9780521662208)
  • Publication date: August 2000
  • Subject: Programming languages and applied logic
  • In stock
  • £54.00

The Haskell School of Expression

Learning Functional Programming through Multimedia
  • Paul Hudak
  • Paperback (ISBN-13: 9780521644082)
  • View other formats:
  • Publication date: April 2000
  • Subject: Programming languages and applied logic
  • Available
  • £31.99

The Functional Approach to Programming

  • Guy Cousineau, Michel Mauny, K. Callaway
  • Paperback (ISBN-13: 9780521576819)
  • View other formats:
  • Publication date: October 1998
  • Subject: Programming languages and applied logic
  • Available
  • £43.00

Algorithmic Geometry

  • Jean-Daniel Boissonnat, Mariette Yvinec, Herve Bronniman
  • Paperback (ISBN-13: 9780521565295)
  • View other formats:
  • Publication date: March 1998
  • Subject: Algorithmics complexity computer algebra and computational geometry
  • Available
  • £43.00

ML for the Working Programmer

  • 2nd Edition
  • Larry C. Paulson
  • Paperback (ISBN-13: 9780521565431)
  • View other formats:
  • Publication date: July 1996
  • Subject: Programming languages and applied logic
  • Available
  • £39.99

C by Example

  • Noel Kalicharan
  • Paperback (ISBN-13: 9780521456500)
  • View other formats:
  • Publication date: September 1994
  • Subject: Programming languages and applied logic
  • Available
  • £45.00

Categories for Types

  • Roy L. Crole
  • Paperback (ISBN-13: 9780521457019)
  • View other formats:
  • Publication date: January 1994
  • Subject: Programming languages and applied logic
  • Available
  • £43.00

Introduction to Functional Programming Systems Using Haskell

  • Antony J. T. Davie
  • Paperback (ISBN-13: 9780521277242)
  • View other formats:
  • Publication date: June 1992
  • Subject: Programming languages and applied logic
  • Available
  • £31.99

Program Construction

  • R. G. Stone, D. J. Cooke
  • Paperback (ISBN-13: 9780521318839)
  • View other formats:
  • Publication date: February 1987
  • Subject: Programming languages and applied logic
  • Available
  • £32.99

A Practical Introduction to Denotational Semantics

  • L. Allison
  • Paperback (ISBN-13: 9780521314237)
  • View other formats:
  • Publication date: February 1987
  • Subject: Programming languages and applied logic
  • Available
  • £19.99

Recursion via Pascal

  • Rohl
  • Paperback (ISBN-13: 9780521269346)
  • View other formats:
  • Publication date: July 1984
  • Subject: Programming languages and applied logic
  • Available
  • £29.99

Computability

An Introduction to Recursive Function Theory
  • Nigel Cutland
  • Paperback (ISBN-13: 9780521294652)
  • View other formats:
  • Publication date: June 1980
  • Subject: Programming languages and applied logic
  • Available
  • £33.99

My Basket

You have  in your basket.

Subtotal: