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

Show me

Format

Rating

  • (4)
  • (1)
  • (0)
  • (0)
  • (0)
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 223 Results
Page 5 of 12
  • Modeling in Event-B

    Modeling in Event-B

    System and Software Engineering

    Abrial, Jean-Raymond
    Published: May 2010

    (1 reviews)

    £116.00

    Add to cart
  • Programming in Visual Basic 2010

    Programming in Visual Basic 2010

    The Very Beginner's Guide

    textbook

    McKeown, Jim
    Published: May 2010

    £51.99

     Add to cart Order inspection
  • Transitions and Trees

    Transitions and Trees

    An Introduction to Structural Operational Semantics

    textbook

    Hüttel, Hans
    Published: April 2010

    £54.99

    Add to cart Order inspection
  • Revised [6] Report on the Algorithmic Language Scheme

    Revised [6] Report on the Algorithmic Language Scheme

    Sperber, Michael
    Dybvig, R. Kent
    Flatt, Matthew
    (+ 3 others)
    Published: April 2010

    £96.00

    Hardback

    Add to cart
  • Semantic Techniques in Quantum Computation

    Semantic Techniques in Quantum Computation

    Gay, Simon
    Mackie, Ian
    Published: February 2010

    £80.99

    Add to cart
  • Process Algebra: Equational Theories of Communicating Processes

    Process Algebra: Equational Theories of Communicating Processes

    Baeten, J. C. M.
    Basten, T.
    Reniers, M. A.
    Published: January 2010

    £82.99

    Add to cart
  • Information Systems Engineering

    Information Systems Engineering

    A Formal Approach

    Hee, Kees M. van
    Published: December 2009

    £48.99

    Paperback

    Add to cart
  • Logic Colloquium 2006

    Logic Colloquium 2006

    Cooper, S. Barry
    Geuvers, Herman
    Pillay, Anand
    (+ 1 other)
    Published: October 2009

    £123.00

    Add to cart
  • From Semantics to Computer Science

    From Semantics to Computer Science

    Essays in Honour of Gilles Kahn

    Bertot, Yves
    Huet, Gérard
    Lévy, Jean-Jacques
    (+ 1 other)
    Published: September 2009

    £108.00

    Add to cart
  • Semantics and Logics of Computation

    Semantics and Logics of Computation

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

    £36.99

    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

    £29.99

    Add to cart
  • The Clausal Theory of Types

    The Clausal Theory of Types

    Wolfram, D. A.
    Published: July 2009

    £20.99

    Add to cart
  • Formal Methods in Human-Computer Interaction

    Formal Methods in Human-Computer Interaction

    Harrison, Michael
    Thimbleby, Harold
    Published: July 2009

    £40.99

    Paperback

    Add to cart
  • Parallel MATLAB for Multicore and Multinode Computers

    Parallel MATLAB for Multicore and Multinode Computers

    Kepner, Jeremy
    Published: July 2009

    £54.99

    Hardback

    Unavailable
  • Constraint Handling Rules

    Constraint Handling Rules

    Frühwirth, Thom
    Published: July 2009

    £48.99

    Add to cart
  • Higher Order Logic and Hardware Verification

    Higher Order Logic and Hardware Verification

    Melham, T. F.
    Published: July 2009

    £25.99

    Add to cart
  • The Muse Method for Usability Engineering

    The Muse Method for Usability Engineering

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

    £51.99

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

    Lambda-calculus, Combinators and Functional Programming

    Revesz, G. E.
    Published: June 2009

    £47.99

    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

    £32.99

     Add to cart Order inspection
Found 223 Results
Page 5 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.
×