LEADER 01482nam0 22003253i 450 
001 UBO0237725
005 20241220063155.0
010   $a0262231697
010   $a0262731037$bpbk
100   $a20080218d1993    ||||0itac50      ba
101 | $aeng
102   $aus
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $a˜The œformal semantics of programming languages$ean introduction$fGlynn Winskel
210   $aCambridge (Mass.)$aLondon$cMIT press$dc1993
215   $aXVIII, 361 p.$d23 cm.
225 | $aFoundations of computing series
410  0$1001UFI0122114$12001 $aFoundations of computing series
606   $aLinguaggi di programmazione$xSemantica$2FIR$3UFIC047092$9I
676   $a005.13$9LINGUAGGI DI PROGRAMMAZIONE$v14
676   $a005.131$9Linguaggi di programmazione. Logica simbolica (Logica matematica)$v22
700  1$aWinskel$b, Glynn$3UBOV096359$4070$061335
801  3$aIT$bIT-NA0079$c20080218
850   $aIT-BN0095          
912   $aUBO0237725
950  0$aBiblioteca Centralizzata di Ateneo$b3 v.   Alcuni in più copie$c1 v.$d 01SALA DING 005.13                  WIN.fo$e 0102 0000013925    B A4                    1 v.$f3 $h19941012$i19941012$b3 v.   Alcuni in più copie$c1 v.$d 01SALA DING 005.13                  WIN.fo$e 0102 0000017045    B A4(bis                1 v. (2. rist., 1994; 2. copia)$fT $h19950221$i19950221
977   $a 01
996   $aFormal semantics of programming languages$9375202
997   $aUNISANNIO