Skip to navigation
Skip to content

Programming languages and applied logic (New and forthcoming titles)

There are 6 titles in the New and forthcoming titles category

Results per page:

10 20 50

These titles are sorted by title (descending)

Nominal Sets

Names and Symmetry in Computer Science
  • Andrew M. Pitts
  • Hardback (ISBN-13: 9781107017788)
  • Publication date: c.July 2013
  • Subject: Programming languages and applied logic
  • Not yet published - available from June 2013
  • £60.00

Functional Programming Using F#

  • Michael R. Hansen, Hans Rischel
  • Paperback (ISBN-13: 9781107684065)
  • View other formats:
  • Publication date: c.July 2013
  • Subject: Programming languages and applied logic
  • Not yet published - available from June 2013
  • £35.00

Systematic Program Design

From Clarity to Efficiency
  • Yanhong Annie Liu
  • Paperback (ISBN-13: 9781107610798)
  • View other formats:
  • Publication date: c.July 2013
  • Subject: Programming languages and applied logic
  • Not yet published - available from June 2013
  • £24.99

Lambda Calculus with Types

  • Henk Barendregt, Wil Dekkers, Richard Statman
  • Hardback (ISBN-13: 9780521766142)
  • Publication date: c.July 2013
  • Subject: Logic categories and sets
  • Not yet published - available from June 2013
  • £60.00

Non-Hausdorff Topology and Domain Theory

Selected Topics in Point-Set Topology
  • Jean Goubault-Larrecq
  • Hardback (ISBN-13: 9781107034136)
  • View other formats:
  • Publication date: March 2013
  • Subject: Geometry and topology
  • In stock
  • £65.00

Practical Foundations for Programming Languages

  • Robert Harper
  • Hardback (ISBN-13: 9781107029576)
  • View other formats:
  • Publication date: February 2013
  • Subject: Programming languages and applied logic
  • In stock
  • £45.00

Results per page:

10 20 50

My Basket

You have  in your basket.

Subtotal: