1.
Data Refinement Model-Oriented Proof Methods and Their Comparison
by DeRoever, Willem-Paul, Enge...
ISBN: 9780521641708
List Price: $126.00
2.
Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theo...
by de Roever, Willem-Paul, Eng...
ISBN: 9780521103503
List Price: $79.00