Back to school

All eBooks in Logics and Meanings of Program

On this page you will find our Apress Books in the area of Logics and Meanings of Program.

Grid or a List

Set Ascending Direction

Books 1-12 of 49

per page
Page:
  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  • Verification, Model Checking, and Abstract Interpretation Cover

    $79.99

  • Verification of Sequential and Concurrent Programs Cover

    $47.49

  • Verification of Sequential and Concurrent Programs Cover

    $47.49

  • Verification of Sequential and Concurrent Programs Cover

    $69.95

  • Verification of Business Rules Programs Cover

    $79.99

  • Value-Range Analysis of C Programs Cover

    $119.00

  • Universal Algebra for Computer Scientists Cover

    $47.49

  • Unfoldings Cover

    $99.00

  • Tools and Algorithms for the Construction and Analysis of Systems Cover

    $89.99

  • Theoretical Aspects of Computing – ICTAC 2014 Cover

    $69.99

  • The Logic of Partial Information Cover

    $62.92

  • Temporal Logic of Programs Cover

    $47.49

Grid or a List

Set Ascending Direction

Books 1-12 of 49

per page
Page:
  1. 1
  2. 2
  3. 3
  4. 4
  5. 5