Skip to navigation
Skip to content

Programming languageprogramming languages and applied logic (Textbooks)

Sort by:

These titles are sorted by publication date (descending)

Practical Foundations for Programming Languages

  • Robert Harper
  • Hardback (ISBN-13: 9781107029576)
  • View other formats:
  • Publication date: December 2012
  • Subject: Programming languageprogramming languages and applied logic
  • In stock
  • $75.00 (Z)

Programming with Higher-Order Logic

  • Dale Miller, Gopalan Nadathur
  • Hardback (ISBN-13: 9780521879408)
  • View other formats:
  • Publication date: June 2012
  • Subject: Programming languageprogramming languages and applied logic
  • In stock
  • $65.00 (Z)

Web Data Management

  • Serge Abiteboul, Ioana Manolescu, Philippe Rigaux, Marie-Christine Rousset, Pierre Senellart
  • Hardback (ISBN-13: 9781107012431)
  • View other formats:
  • Publication date: November 2011
  • Subject: Knowledge management databases and data mining
  • In stock
  • $75.00 (Z)

An Introduction to Category Theory

  • Harold Simmons
  • Paperback (ISBN-13: 9780521283045)
  • View other formats:
  • Publication date: November 2011
  • Subject: Logic categories and sets
  • In stock
  • $31.99 (Z)

Steps in Scala

An Introduction to Object-Functional Programming
  • Christos K. K. Loverdos, Apostolos Syropoulos
  • Paperback (ISBN-13: 9780521747585)
  • View other formats:
  • Publication date: November 2010
  • Subject: Programming languageprogramming languages and applied logic
  • In stock
  • $53.00 (Z)

Programming in Visual Basic 2010

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

Modelling Systems

Practical Tools and Techniques in Software Development
  • 2nd Edition
  • John Fitzgerald, Peter Gorm Larsen
  • Hardback (ISBN-13: 9780521899116)
  • View other formats:
  • Publication date: July 2009
  • Subject: Programming languageprogramming languages and applied logic
  • In stock
  • $92.00 (Z)

Lambda-Calculus and Combinators

An Introduction
  • 2nd Edition
  • J. Roger Hindley, Jonathan P. Seldin
  • Hardback (ISBN-13: 9780521898850)
  • View other formats:
  • Publication date: August 2008
  • Subject: Programming languageprogramming languages and applied logic
  • In stock
  • $76.00 (Z)

Concurrent and Real-Time Programming in Ada

  • Alan Burns, Andy Wellings
  • Hardback (ISBN-13: 9780521866972)
  • View other formats:
  • Publication date: July 2007
  • Subject: Programming languageprogramming languages and applied logic
  • In stock
  • $102.00 (Z)

Programming in Haskell

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

Constraint Logic Programming using Eclipse

  • Krzysztof R. Apt, Mark Wallace
  • Hardback (ISBN-13: 9780521866286)
  • View other formats:
  • Publication date: January 2007
  • Subject: Programming languageprogramming languages and applied logic
  • In stock
  • $91.00 (Z)

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 languageprogramming languages and applied logic
  • In stock
  • $88.00 (X)

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 languageprogramming languages and applied logic
  • In stock
  • $99.00 (X)

Sort by:

My Cart

You have  in your cart.

Subtotal: