LEADER 00874nam0-22003011i-450- 001 990000514210403321 005 20081010140243.0 010 $a0-13-294844-3 035 $a000051421 035 $aFED01000051421 035 $a(Aleph)000051421FED01 035 $a000051421 100 $a20020821d1994----km-y0itay50------ba 101 0 $aeng 105 $aa-------001yy 200 1 $a<>classical mind$eessays in honour of C. A. R. Hoare$fedited by A. W. Roscoe 210 $aNew York$cPrentice Hall$dİ1994 215 $a451 p.$cill.$d24 cm 225 1 $aPrentice-Hall international series in computer science 610 0 $aElaborazione dei dati elettronici 676 $a004 700 1$aRoscoe,$bA. W. 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990000514210403321 952 $a10 C 343$b3038 DIS$fDINEL 959 $aDINEL 997 $aUNINA