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 229 Results
Page 11 of 12

This series contains other subjects. View the titles

  • ML for the Working Programmer

    ML for the Working Programmer

    Paulson, Larry C.
    Published: September 1996
    2nd Edition

    View product Order inspection
  • Computability, Enumerability, Unsolvability

    Computability, Enumerability, Unsolvability

    Directions in Recursion Theory

    Cooper, S. B.
    Slaman, T. A.
    Wainer, S. S.
    Published: March 1996

    View product
  • Logic and Information

    Logic and Information

    Devlin, Keith
    Published: January 1996

    View product
  • Advances in Linear Logic

    Advances in Linear Logic

    Girard, Jean-Yves
    Lafont, Yves
    Regnier, Laurent
    Published: August 1995

    View product
  • C by Example

    C by Example

    textbook

    Kalicharan, Noel
    Published: November 1994

    Paperback

    View product Order inspection
  • Illustrating C

    Illustrating C

    Alcock, Donald G.
    Published: June 1994
    2nd Edition

    View product
  • Categories for Types

    Categories for Types

    Crole, Roy L.
    Published: March 1994

    View product Order inspection
  • Categories and Computer Science

    Categories and Computer Science

    Walters, R. F. C.
    Published: October 1992

    View product
  • Applications of Categories in Computer Science

    Applications of Categories in Computer Science

    Proceedings of the London Mathematical Society Symposium, Durham 1991

    Fourman, M. P.
    Johnstone, P. T.
    Pitts, A. M.
    Published: September 1992

    View product
  • Introduction to Functional Programming Systems Using Haskell

    Introduction to Functional Programming Systems Using Haskell

    textbook

    Davie, Antony J. T.
    Published: August 1992

    Paperback

    View product Order inspection
  • Logical Frameworks

    Logical Frameworks

    Huet, Gerard
    Plotkin, G.
    Published: November 1991

    View product
  • Formal Methods in Artificial Intelligence

    Formal Methods in Artificial Intelligence

    Ramsay, Allan M.
    Published: September 1991

    Paperback

    View product
  • Rationale for the Design of the Ada Programming Language

    Rationale for the Design of the Ada Programming Language

    Ichbiah, J.
    Barnes, J.
    Firth, R.
    (+ 1 other)
    Published: June 1991

    Hardback

    View product
  • Logic and Computation

    Logic and Computation

    Interactive Proof with Cambridge LCF

    Paulson, Lawrence C.
    Published: September 1990

    View product
  • Distributed Ada: Developments and Experiences

    Distributed Ada: Developments and Experiences

    Proceedings of the Distributed Ada '89 Symposium, University of Southampton, 11–12 December 1989

    Bishop, Judy M.
    Published: July 1990

    View product
  • Introduction to Higher-Order Categorical Logic

    Introduction to Higher-Order Categorical Logic

    Lambek, J.
    Scott, P. J.
    Published: September 1988

    Paperback

    View product
  • A Practical Handbook for Software Development

    A Practical Handbook for Software Development

    Birrell, N. D.
    Ould, M. A.
    Published: April 1988

    View product
  • Illustrating Pascal

    Illustrating Pascal

    Alcock, Donald G.
    Published: November 1987

    View product
  • A Practical Introduction to Denotational Semantics

    A Practical Introduction to Denotational Semantics

    textbook

    Allison, L.
    Published: April 1987

    Paperback

    View product Order inspection
  • Program Construction

    Program Construction

    textbook

    Stone, R. G.
    Cooke, D. J.
    Published: April 1987

    Paperback

    View product Order inspection
Found 229 Results
Page 11 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.
×