Collaborate 15 IOUG Press

All Titles in Logics and Meanings of Program

Grid or a List

Set Ascending Direction

Books 1-12 of 35

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

    $79.99

  • 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

  • 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

  • Structured Object-Oriented Formal Language and Method Cover

    $49.99

  • Stochastic Model Checking Cover

    $49.99

  • Static Analysis Cover

    $59.99

  • Specification, Algebra, and Software Cover

    $89.99

  • Software Engineering and Formal Methods Cover

    $69.99

Grid or a List

Set Ascending Direction

Books 1-12 of 35

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