Specification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science)

by JimDavies (Author)

• Used

  Hardcover
  1993

  $100.51

  The research contained in this book represents work on the specification and verification of real-time systems using CSP.

• New

  Hardcover
  1993

  $137.34

  The research contained in this book represents work on the specification and verification of real-time systems using CSP.