LEADER 00739nam0-22002531i-450-
001 990001133910403321
005 20061002095410.0
035   $a000113391
035   $aFED01000113391
035   $a(Aleph)000113391FED01
035   $a000113391
100   $a20001205d1986----km-y0itay50------ba
101 0 $aeng
200 1 $aAlgorithms$ethe construction, proof, and analysis of programs$fPierre Berlioux and Philippe Bizard
210   $aChichester [etc.]$cJohn Wiley$d1986
700  1$aBerlioux,$bPierre$0295469
701  1$aBizard,$bPhilippe$0295470
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001133910403321
952   $a114-B-15$b2657$fMA1
959   $aMA1
996   $aAlgorithms$9345295
997   $aUNINA