Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach by Robert P. Kurshan (Hardback, 2017)

Brand new: lowest price

AU $158.00

Free postage
  • See details for delivery est.
  • Brand new condition
  • • Returns accepted