Apress Windows 10 Release Sale

All Titles in 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