Algorithms : the construction, proof, and analysis of programs / Pierre Berlioux and Philippe Bizard ; translated by Annwyl Williams.
By: Berlioux, Pierre.
Contributor(s): Bizard, Philippe | Williams, Annwyl.
Material type: BookPublisher: Chichester : Wiley, c1986Description: ix,145p. : ill. ; 23 cm. + pbk.ISBN: 0471908444 .Subject(s): Computer programming | AlgorithmsDDC classification: 005.12028Item type | Current library | Call number | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
General Lending | MTU Bishopstown Library Store Item | 005.12028 (Browse shelf(Opens below)) | 1 | Available | 00029596 |
Enhanced descriptions from Syndetics:
Demonstrates the close links between construction, proof, and analysis of programs. Introduces the basic elements that allow proof and analysis of iterative programs to be carried out and introduces the concept of recursive programming. Also shows how a recursive program can be converted into an iterative program. Offers numerous, clearly presented examples.
Bibliography: p. 143-144.
Translation of: Algorithmique.