TY  - BOOK
AU  - Berlioux,Pierre
AU  - Bizard,Philippe
TI  - Algorithms: the construction, proof, and analysis of programs 
SN  - 0471908444 (pbk.) :
AV  - QA76.6 .B471813 1986
U1  - 005.1�19 
PY  - 1986///
CY  - Chichester [West Sussex]
PB  - John Wiley
KW  - Algorithms
KW  - Computer programming
N1  - Translation of: Algorithmique
ER  -