| 000 | 00899nam a2200253Ia 4500 | ||
|---|---|---|---|
| 008 | 191130s1998##################000#0#eng## | ||
| 020 | _a9780521641708 | ||
| 022 | _a98024731 | ||
| 040 |
_aACL _cACL |
||
| 082 | _a003.3 ROE | ||
| 100 | _aRoever, W. -P. de | ||
| 245 |
_aData refinement : model-oriented proof methods and their comparison _cWillem-Paul de Roever, Kai Engelhardt ; with the assistance of Karl-Heinz Buth ... [et al.] |
||
| 260 |
_aCambridge _bCambridge University Press _c1998 |
||
| 300 | _axi, 423 p. : ill. ; 24 cm | ||
| 500 | _aIncludes bibliographical references (p. 404-418) and index | ||
| 650 | _aComputer programs - Verification | ||
| 650 | _aComputer Simulation | ||
| 650 | _aData structures (Computer science) | ||
| 700 | _aButh, Karl-Heinz | ||
| 700 | _aEngelhardt, Kai | ||
| 990 | _add480882ac10000c612036a33e5781a3 | ||
| 991 | _a10515 | ||
| 999 |
_c144948 _d144948 |
||