| 000 | 00511nam a22001817a 4500 | ||
|---|---|---|---|
| 008 | 221029b |||||||| |||| 00| 0 eng d | ||
| 020 | _a9780470848821 | ||
| 040 | _cPK-GjGUL | ||
| 082 |
_a005.1 _bBAC-P |
||
| 100 | _aBackhouse, Roland | ||
| 245 | _aProgram Construction: calculating implementations and specifications | ||
| 260 |
_aEngland _bJohn Wiley & Sons _c2003 |
||
| 300 |
_axii, 340p. _cM, PBK |
||
| 500 | _aIncludes Index | ||
| 546 | _aEng. | ||
| 650 | _aComputer Science | ||
| 942 |
_2ddc _cBK |
||
| 999 |
_c27525 _d27525 |
||