| 000 | 00650nam a2200229 a 4500 | ||
|---|---|---|---|
| 001 | 8852 | ||
| 003 | BD-DhUET | ||
| 008 | 850808s1986 enka b 000 0 eng | ||
| 020 | _a0471908444 | ||
| 040 |
_aDLC _cDLC _dBD-DhUET |
||
| 082 |
_a006.31 _bBER/1986 |
||
| 100 | _aBerlioux, Pierre | ||
| 245 | 1 | 0 |
_aAlgorithms _bthe construction, proof, and analysis of programs |
| 250 | _a1st ed. | ||
| 260 |
_aNew York _bJohn Wiley & Sons _c1986 |
||
| 300 |
_aviii,145p. _bill. _c23 cm. |
||
| 504 | _aIncludes bibliographies | ||
| 650 | 0 | _aComputer programming | |
| 700 | 1 | _aBizard, Philippe. | |
| 700 | _aWilliams, Annwyl ( Translated ) | ||
| 942 | _cGB | ||
| 999 |
_c8852 _d8852 |
||