All Titles in Logics and Meanings of Program

Grid List

Set Descending Direction

Books 1-12 of 49

per page
Page:
  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  • A Practical Theory of Reactive Systems Cover

    $79.95 $47.97

  • A Theory of Distributed Objects Cover

    $119.00 $71.40

  • ABZ 2014: The Landing Gear Case Study Cover

    $49.99 $29.99

  • Adapting Proofs-as-Programs Cover

    $129.00 $77.40

  • Algebraic and Algorithmic Aspects of Differential and Integral Operators Cover

    $49.99 $29.99

  • Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach Cover

    $62.92 $37.75

  • Application and Theory of Petri Nets and Concurrency Cover

    $69.99 $41.99

  • Cellular Automata and Groups Cover

    $99.00 $59.40

  • Computer Aided Verification Cover

    $119.00 $71.40

  • Computer Aided Verification Cover

    $129.00 $77.40

  • Computer Safety, Reliability, and Security Cover

    $59.99 $35.99

  • Computer Safety, Reliability, and Security Cover

    $69.99 $41.99

Grid List

Set Descending Direction

Books 1-12 of 49

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