01257nam a2200361 i 450099100066906970753620020507172027.0970117s1986 uk ||| | eng 0471908444b1074065x-39ule_instLE01300440ExLDip.to Matematicaeng001.642AMS 68QLC QA76.6.B471913Berlioux, Pierre295469Algorithms :the construction, proof, and analysis of programs /Pierre Berlioux, Philippe Bizard ; transl. A. Williams2nd ed.Chichester :J. Wiley & Sons,1986ix, 144 p. ;23 cm.1st ed. 1983AlgorithmsElectronic digital computersProgrammingBizard, Philippeauthorhttp://id.loc.gov/vocabulary/relators/aut295470Williams, AnnylAlgorithmique.b1074065x11-07-0728-06-02991000669069707536LE013 68Q BER11 (1986)12013000070100le013-E0.00-l- 01010.i1083168x28-06-02Algorithms345295UNISALENTOle01301-01-97ma -enguk 01