Skip to content
Register Sign in Wishlist

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 229 Results
Page 8 of 12
  • The Elements of UML™ 2.0 Style

    Ambler, Scott W.
    Published: September 2005

    View product
  • Free Choice Petri Nets

    Desel, Jorg
    Esparza, Javier
    Published: September 2005

    View product
  • Extensions of First-Order Logic

    Manzano, Maria
    Published: August 2005

    Paperback

    View product
  • Nets, Terms and Formulas

    Three Views of Concurrent Processes and their Relationship

    Olderog, E. -R.
    Published: August 2005

    View product
  • Programs, Recursion and Unbounded Choice

    Hesselink, Wim H.
    Published: August 2005

    View product
  • Two-Level Functional Languages

    Nielson, Flemming
    Nielson, Hanne Riis
    Published: August 2005

    View product
  • Action Semantics

    Mosses, Peter D.
    Published: June 2005

    View product
  • COBOL Programmers Swing with Java

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

    View product
  • Applications of Process Algebra

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

    View product
  • The Standard ML Basis Library

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

    View product
  • Handshake Circuits

    An Asynchronous Architecture for VLSI Programming

    Berkel, Kees van
    Published: December 2004

    View product
  • Algorithmic Information Theory

    Chaitin, Gregory. J.
    Published: December 2004

    View product
  • Predicate Transformer Semantics

    Manes, Ernest. G.
    Published: December 2004

    View product
  • Object-Oriented Programming with Visual Basic.NET

    McMillan, Michael
    Published: November 2004

    View product
  • Logic in Computer Science

    Modelling and Reasoning about Systems

    textbook

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

  • Logic Programming

    Operational Semantics and Proof Theory

    Andrews, James H.
    Published: August 2004

    View product
  • Protocols by Invariants

    Schoone, Anneke A.
    Published: August 2004

    View product
  • Axiomatic Domain Theory in Categories of Partial Maps

    Fiore, Marcelo P.
    Published: August 2004

    View product
  • Algebraic Automata Theory

    Holcombe, M.
    Published: August 2004

    View product
  • UML by Example

    Jalloul, Ghinwa
    Published: July 2004

Found 229 Results
Page 8 of 12

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 ×

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.
×