LEADER 01230nam0-22003971i-450-
001 990001446390403321
005 20090721120843.0
010   $a88-7750-648-2
035   $a000144639
035   $aFED01000144639
035   $a(Aleph)000144639FED01
035   $a000144639
100   $a20001205d1999----km-y0itay50------ba
101 0 $aita
102   $aIT
105   $aa---a---001yy
200 1 $a<<La >>semantica formale dei linguaggi di programmazione$eun' Introduzione$fGlynn Winskel
210   $aTorino$cUtet$dc1999
215   $axvii, 563 p.$d24 cm
300   $atit. orig.: The formal semantics of programming languages: an introduction
610 0 $aLinguaggi di programmazione
610 0 $aSemantica formale
676   $a005.131
700  1$aWinskel,$bGlynn$061335
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001446390403321
952   $a005.131-WIN-1$b563$fSC1
952   $a005.131-WIN-1A$b1216$fSC1
952   $a005.131-WIN-1B$b1217$fSC1
952   $a005.131-WIN-1C$b1218$fSC1
952   $a005.131-WIN-1D$b3192$fSC1
952   $a005.131-WIN-1E$b3193$fSC1
959   $aSC1
996   $aSemantica formale dei linguaggi di programmazione$9374098
997   $aUNINA