| 000 | 00987nam a2200301 4500 | ||
|---|---|---|---|
| 001 | 28656 | ||
| 010 |
_a0-521-64170-5 _bencadernado _dEsc 14 554$ |
||
| 090 | _a28656 | ||
| 100 | _a20000308d1998 k||y0pory50 ba | ||
| 101 | 0 | _aeng | |
| 102 | _aGB | ||
| 200 | 1 |
_aData refinement _emodel-oriented proof methods and their comparison _fWillem-Paul de Roever, Kai Engelhardt _ged. by Karl-Heinz Buth |
|
| 210 |
_aCambridge, UK _cCambridge University Press _dcop. 1998 |
||
| 215 |
_aXI, 423 p. _cil. _d24 cm |
||
| 225 | 2 |
_aCambridge Tracts in Theoretical Computer Science _v47 |
|
| 310 | _aAdquirido DI | ||
| 606 | _aSimulação por computador | ||
| 606 | _aEstruturas de dados (Informática) | ||
| 606 |
_aSoftware _xVerificação |
||
| 680 | _aQA76.9 | ||
| 700 |
_aRoever _bWillem-Paul de |
||
| 701 |
_964423 _aEngelhardt _bKai _4070 |
||
| 702 |
_964424 _aButh _bKarl-Heinz _4340 |
||
| 801 | 0 |
_gRPC _aPT |
|
| 942 |
_2lcc _cA _n0 |
||