All eBooks in Logics and Meanings of Program

Grid 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 $47.99

  • Verification of Sequential and Concurrent Programs Cover

    $47.49 $28.49

  • Verification of Sequential and Concurrent Programs Cover

    $47.49 $28.49

  • Verification of Sequential and Concurrent Programs Cover

    $69.95 $41.97

  • Verification of Business Rules Programs Cover

    $79.99 $47.99

  • Value-Range Analysis of C Programs Cover

    $119.00 $71.40

  • Universal Algebra for Computer Scientists Cover

    $47.49 $28.49

  • Unfoldings Cover

    $99.00 $59.40

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

    $89.99 $53.99

  • Theoretical Aspects of Computing – ICTAC 2014 Cover

    $69.99 $41.99

  • The Logic of Partial Information Cover

    $62.92 $37.75

  • Temporal Logic of Programs Cover

    $47.49 $28.49

Grid List

Set Ascending Direction

Books 1-12 of 49

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