Temporal Verification of Reactive Systems: Safety by Zohar Manna, Amir Pnueli (Hardback, 1995)

Brand new: lowest price

AU $317.00

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