LEADER 01107nam0-22003251i-450- 001 990000493910403321 005 20090302101535.0 010 $a0-13-329060-3 035 $a000049391 035 $aFED01000049391 035 $a(Aleph)000049391FED01 035 $a000049391 100 $a20020821d1972----km-y0itay50------ba 101 0 $aeng 105 $aa-------101yy 200 1 $aFormal semantics of programming languages$eCourant computer science symposium 2, september 14-16, 1970$fedited by Randall Rustin 210 $aEnglewood Cliffs, New Jersey$cPrentice-Hall$dİ1972 215 $a248 p.$cill.$d24 cm 225 1 $aPrentice-Hall series in automatic computation 610 0 $aLinguaggi di programmazione$aSemantica$aCongressi 676 $a005.133 702 1$aRustin,$bRandall 710 12$aCourant computer science symposium$d<2. ;$f1970 ;$eNew York>$0491818 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990000493910403321 952 $a10 PRO 365$b970 CCE$fDINEL 959 $aDINEL 996 $aFormal semantics of programming languages$9332917 997 $aUNINA