Skip to content
Cart 
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

Save 20% on your next online purchase

Receive email alerts on new books, offers and news in Programming languages and applied logic.

Results

Listing Grid
Found 232 Results
Page 6 of 12
  • Semantics and Logics of Computation

    Semantics and Logics of Computation

    Pitts, Andrew M.
    Dybjer, P.
    Published: August 2009

    £44.00

    Add to cart
  • A Unifying Framework for Structured Analysis and Design Models

    A Unifying Framework for Structured Analysis and Design Models

    An Approach Using Initial Algebra Semantics and Category Theory

    Tse, T. H.
    Published: July 2009

    £38.00

    Add to cart
  • The Clausal Theory of Types

    The Clausal Theory of Types

    Wolfram, D. A.
    Published: July 2009

    £28.00

    Add to cart
  • Formal Methods in Human-Computer Interaction

    Formal Methods in Human-Computer Interaction

    Harrison, Michael
    Thimbleby, Harold
    Published: July 2009

    £45.00

    Paperback

    Add to cart
  • Parallel MATLAB for Multicore and Multinode Computers

    Parallel MATLAB for Multicore and Multinode Computers

    Kepner, Jeremy
    Published: July 2009

    £57.99

    Hardback

    Unavailable
  • Constraint Handling Rules

    Constraint Handling Rules

    Frühwirth, Thom
    Published: July 2009

    £51.00

    Add to cart
  • Higher Order Logic and Hardware Verification

    Higher Order Logic and Hardware Verification

    Melham, T. F.
    Published: July 2009

    £38.00

    Add to cart
  • The Muse Method for Usability Engineering

    The Muse Method for Usability Engineering

    Lim, Kee Yong
    Long, John B.
    Published: July 2009

    £57.00

    Add to cart
  • Lambda-calculus, Combinators and Functional Programming

    Lambda-calculus, Combinators and Functional Programming

    Revesz, G. E.
    Published: June 2009

    £52.00

    Paperback

    Add to cart
  • Modelling Systems

    Modelling Systems

    Practical Tools and Techniques in Software Development

    Fitzgerald, John
    Larsen, Peter Gorm
    Published: June 2009
    2nd Edition

    £53.99

    Add to cart
  • Python for Software Design

    Python for Software Design

    How to Think Like a Computer Scientist

    Downey, Allen B.
    Published: May 2009

    £40.00

    Add to cart Order inspection
  • Theories of Programming Languages

    Theories of Programming Languages

    Reynolds, John C.
    Published: April 2009

    £62.00

    Add to cart
  • The Space and Motion of Communicating Agents

    The Space and Motion of Communicating Agents

    Milner, Robin
    Published: March 2009

    £50.00

     Add to cart
  • Handbook of Practical Logic and Automated Reasoning

    Handbook of Practical Logic and Automated Reasoning

    Harrison, John
    Published: March 2009

    £132.00

    Add to cart
  • The Logical Status of Diagrams

    The Logical Status of Diagrams

    Shin, Sun-Joo
    Published: March 2009

    £40.00

    Add to cart
  • The Unprovability of Consistency

    The Unprovability of Consistency

    An Essay in Modal Logic

    Boolos, George
    Published: January 2009

    £50.00

    Paperback

    Add to cart
  • Data Refinement

    Data Refinement

    Model-Oriented Proof Methods and their Comparison

    de Roever, Willem-Paul
    Engelhardt, Kai
    Published: December 2008

    £54.00

    Add to cart
  • Algebraic Specification of Communication Protocols

    Algebraic Specification of Communication Protocols

    Mauw, S.
    Veltink, G. J.
    Published: December 2008

    £43.00

    Add to cart
  • Information Flow

    Information Flow

    The Logic of Distributed Systems

    Barwise, Jon
    Seligman, Jerry
    Published: August 2008

    £56.00

    Add to cart
  • Functional Programming and Input/Output

    Functional Programming and Input/Output

    Gordon, Andrew D.
    Published: July 2008

    £38.00

    Paperback

    Add to cart
Found 232 Results
Page 6 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.
×