LEADER 01370nam0 22003613i 450 001 TO01250559 005 20251003044410.0 010 $a0471908444 100 $a20080505d1986 ||||0itac50 ba 101 | $aeng 102 $agb 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $aAlgorithms$ethe construction, proof, and analysis of programs$fPierre Berlioux and Philippe Bizard$gtranslated by Annwyl Williams 210 $aChichester [etc.]$cJ. Wiley$dc1986 215 $aIX, 145 p.$d23 cm 300 $aBibliografia: P. 143-144. 500 10$aAlgorithmique$3NAP0405335$91575222 606 $aAlgoritmi$2FIR$3CFIC033498$9E 606 $aElaboratori elettronici$xProgrammazione$2FIR$3CFIC000860$9E 676 $a005.1$9PROGRAMMAZIONE$v14 676 $a005.1$9PROGRAMMAZIONE$v22 700 1$aBerlioux$b, Pierre$3PUVV028649$4070$0295469 701 1$aBizard$b, Philippe$3PUVV028651$4070$0295470 702 1$aWilliams$b, Annwyl$3MILV151935 801 3$aIT$bIT-000000$c20080505 850 $aIT-BN0095 901 $bNAP 01$cSALA DING $n$ 912 $aTO01250559 950 0$aBiblioteca Centralizzata di Ateneo$b1 v.$c1 v.$d 01SALA DING 005.1 BER.al$e 0102 0000008985 VMA A4 1 v. (rist. 1987)$fY $h20080505$i20080505 977 $a 01 996 $aAlgorithmique$91575222 997 $aUNISANNIO