Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers by Leslie Lamport (Paperback, 2002)

Brand new: lowest price

AU $77.50

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