LEADER 01257nam a2200361 i 4500 001 991000669069707536 005 20020507172027.0 008 970117s1986 uk ||| | eng 020 $a0471908444 035 $ab1074065x-39ule_inst 035 $aLE01300440$9ExL 040 $aDip.to Matematica$beng 082 0 $a001.642 084 $aAMS 68Q 084 $aLC QA76.6.B471913 100 1 $aBerlioux, Pierre$0295469 245 10$aAlgorithms :$bthe construction, proof, and analysis of programs /$cPierre Berlioux, Philippe Bizard ; transl. A. Williams 250 $a2nd ed. 260 $aChichester :$bJ. Wiley & Sons,$c1986 300 $aix, 144 p. ;$c23 cm. 500 $a1st ed. 1983 650 0$aAlgorithms 650 0$aElectronic digital computers 650 0$aProgramming 700 1 $aBizard, Philippe$eauthor$4http://id.loc.gov/vocabulary/relators/aut$0295470 700 1 $aWilliams, Annyl 740 0 $aAlgorithmique 907 $a.b1074065x$b11-07-07$c28-06-02 912 $a991000669069707536 945 $aLE013 68Q BER11 (1986)$g1$i2013000070100$lle013$o-$pE0.00$q-$rl$s- $t0$u1$v0$w1$x0$y.i1083168x$z28-06-02 996 $aAlgorithms$9345295 997 $aUNISALENTO 998 $ale013$b01-01-97$cm$da $e-$feng$guk $h0$i1