LEADER 01050nam0-2200373---450-
001 990001358290403321
005 20100428161333.0
010   $a0-262-23169-7
035   $a000135829
035   $aFED01000135829
035   $a(Aleph)000135829FED01
035   $a000135829
100   $a20001205d1993----km-y0itay50------ba
101 0 $aeng
102   $aUS
200 1 $a<<The >>formal semantics of programming languages$ean introduction$fGlynn Winskel
205   $a3rd printing 1996
210   $aCambridge$cThe MIT Press$d1993
215   $aXVIII, 361 p.$d23 cm
225 1 $aFoundations of computing
610 0 $aLinguaggi di programmazione$aSemantica
610 0 $aSoftware
676   $a510.78
676   $a418.0285
700  1$aWinskel,$bGlynn$061335
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001358290403321
952   $a8B-328$b5420$fFI1
952   $a418.0285 WIN 1$fFLFBC
959   $aFI1
959   $aFLFBC
996   $aFormal semantics of programming languages$9375202
997   $aUNINA