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

Show me

Format

Rating

  • (4)
  • (1)
  • (0)
  • (0)
  • (0)
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 11 of 12
  • The Way of Z

    The Way of Z

    Practical Programming with Formal Methods

    Jacky, Jonathan
    Published: November 1996

    View product
  • Topology via Logic

    Topology via Logic

    Vickers, Steven
    Published: August 1996

    Paperback

    View product
  • ML for the Working Programmer

    ML for the Working Programmer

    Paulson, Larry C.
    Published: July 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: January 1996

    View product
  • Logic and Information

    Logic and Information

    Devlin, Keith
    Published: September 1995

    View product
  • Advances in Linear Logic

    Advances in Linear Logic

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

    View product
  • C by Example

    C by Example

    textbook

    Kalicharan, Noel
    Published: September 1994

    Paperback

    View product Order inspection
  • Illustrating C

    Illustrating C

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

    View product
  • Categories for Types

    Categories for Types

    Crole, Roy L.
    Published: January 1994

    View product Order inspection
  • Categories and Computer Science

    Categories and Computer Science

    Walters, R. F. C.
    Published: August 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: July 1992

    View product
  • Introduction to Functional Programming Systems Using Haskell

    Introduction to Functional Programming Systems Using Haskell

    textbook

    Davie, Antony J. T.
    Published: June 1992

    Paperback

    View product Order inspection
  • Logical Frameworks

    Logical Frameworks

    Huet, Gerard
    Plotkin, G.
    Published: September 1991

    View product
  • Formal Methods in Artificial Intelligence

    Formal Methods in Artificial Intelligence

    Ramsay, Allan M.
    Published: August 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: April 1991

    Hardback

    View product
  • Logic and Computation

    Logic and Computation

    Interactive Proof with Cambridge LCF

    Paulson, Lawrence C.
    Published: July 1990

    View product
  • Ada: Experiences and Prospects

    Ada: Experiences and Prospects

    Proceedings of the Ada-Europe International Conference, Dublin, 1990

    Lynch, Barry
    Published: July 1990

    Hardback

    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: May 1990

    View product
  • Introduction to Higher-Order Categorical Logic

    Introduction to Higher-Order Categorical Logic

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

    Paperback

    View product
  • A Practical Handbook for Software Development

    A Practical Handbook for Software Development

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

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