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 8 of 12

This series contains other subjects. View the titles

  • The Logic of Typed Feature Structures

    The Logic of Typed Feature Structures

    With Applications to Unification Grammars, Logic Programs and Constraint Resolution

    Carpenter, Robert L.
    Published: November 2005

    £45.00

    Add to cart
  • The B-Book

    The B-Book

    Assigning Programs to Meanings

    Abrial, J. R.
    Published: November 2005

    £98.00

    Add to cart
  • Free Choice Petri Nets

    Free Choice Petri Nets

    Desel, Jorg
    Esparza, Javier
    Published: September 2005

    £41.00

    Add to cart
  • Extensions of First-Order Logic

    Extensions of First-Order Logic

    Manzano, Maria
    Published: August 2005

    £69.00

    Paperback

    Add to cart
  • Foundations of Parallel Programming

    Foundations of Parallel Programming

    Skillicorn, D. B.
    Published: August 2005

    £38.00

    Add to cart
  • Nets, Terms and Formulas

    Nets, Terms and Formulas

    Three Views of Concurrent Processes and their Relationship

    Olderog, E. -R.
    Published: August 2005

    £45.00

    Add to cart
  • Programs, Recursion and Unbounded Choice

    Programs, Recursion and Unbounded Choice

    Hesselink, Wim H.
    Published: August 2005

    £45.00

    Add to cart
  • Two-Level Functional Languages

    Two-Level Functional Languages

    Nielson, Flemming
    Nielson, Hanne Riis
    Published: August 2005

    £50.00

    Add to cart
  • The Elements of UML™ 2.0 Style

    The Elements of UML™ 2.0 Style

    Ambler, Scott W.
    Published: July 2005

    £23.00

    Add to cart
  • COBOL Programmers Swing with Java

    COBOL Programmers Swing with Java

    Doke, E. Reed
    Hardgrave, Bill C.
    Johnson, Richard A.
    Published: March 2005
    2nd Edition

    £60.00

    Add to cart
  • Applications of Process Algebra

    Applications of Process Algebra

    Baeten, J. C. M.
    Published: March 2005

    £89.00

    Add to cart
  • Action Semantics

    Action Semantics

    Mosses, Peter D.
    Published: February 2005

    £54.00

    Add to cart
  • Handshake Circuits

    Handshake Circuits

    An Asynchronous Architecture for VLSI Programming

    Berkel, Kees van
    Published: December 2004

    £61.00

    Add to cart
  • Algorithmic Information Theory

    Algorithmic Information Theory

    Chaitin, Gregory. J.
    Published: December 2004

    £50.00

    Add to cart
  • Predicate Transformer Semantics

    Predicate Transformer Semantics

    Manes, Ernest. G.
    Published: December 2004

    £54.00

    Add to cart
  • The Standard ML Basis Library

    The Standard ML Basis Library

    Gansner, Emden R.
    Reppy, John H.
    Published: December 2004

    £45.00

     Add to cart
  • Object-Oriented Programming with Visual Basic.NET

    Object-Oriented Programming with Visual Basic.NET

    McMillan, Michael
    Published: September 2004

    £52.00

    Add to cart
  • Logic in Computer Science

    Logic in Computer Science

    Modelling and Reasoning about Systems

    textbook

    Huth, Michael
    Ryan, Mark
    Published: August 2004
    2nd Edition

    £54.99

    Add to cart Order inspection
  • Logic Programming

    Logic Programming

    Operational Semantics and Proof Theory

    Andrews, James H.
    Published: August 2004

    £38.00

    Add to cart
  • Protocols by Invariants

    Protocols by Invariants

    Schoone, Anneke A.
    Published: August 2004

    £45.00

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