Apress 5 de Mayo

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 $36.00

  • Verification of Sequential and Concurrent Programs Cover

    $47.49 $21.37

  • Verification of Sequential and Concurrent Programs Cover

    $47.49 $21.37

  • Verification of Sequential and Concurrent Programs Cover

    $69.95 $31.48

  • Verification of Business Rules Programs Cover

    $79.99 $36.00

  • Value-Range Analysis of C Programs Cover

    $119.00 $53.55

  • Universal Algebra for Computer Scientists Cover

    $47.49 $21.37

  • Unfoldings Cover

    $99.00 $44.55

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

    $89.99 $40.50

  • Theoretical Aspects of Computing – ICTAC 2014 Cover

    $69.99 $31.50

  • The Logic of Partial Information Cover

    $62.92 $28.31

  • Temporal Logic of Programs Cover

    $47.49 $21.37

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