Reactive Systems: Modelling, Specification and Verification

by Luca Aceto (Author), Anna Ingólfsdóttir (Author), KimGuldstrandLarsen (Author), JiriSrba (Author)

• Used

  Hardcover
  2007

  $37.15

  Accessible text describing the process algebraic approach to the specification and verification of software and software systems using mathematical logic.

• New

  Hardcover
  2007

  $123.90

  Accessible text describing the process algebraic approach to the specification and verification of software and software systems using mathematical logic.