on all orders of $59 or more
Data Refinement: Model-Oriented Proof ...
by Willem-Paul de Roever , Kai Engelhardt
ISBN: 9780521641708
Copyright:
Hardcover
ISBN: 9780521103503
Paperback