000 00503nam a2200145Ia 4500
008 230327s9999||||xx |||||||||||||| ||und||
020 _a0471908444
082 _a005.1
_bAl
100 _aBerlioux, Pierre.
245 0 _aAlgorithms :
_bthe construction, proof, and analysis of programs /
_cPierre Berlioux and Philippe Bizard ; translated by Annwyl Williams.
260 _aChichester :
_bJohn Wiley,
_cc1986 [reprinted 1987]
300 _aviii, 145 p. :
650 _aComputer programming.
942 _cBK
999 _c671135
_d671135