Reactive Systems: Modelling, Specification and Verification

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

• Used

  Hardcover
  2007

  $56.03

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

• New

  Hardcover
  2007

  $118.65

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