LEADER 01279nam0 22003253i 450 
001 UBO0040650
005 20241220063154.0
010   $a0471929808
100   $a20080213d1992    ||||0itac50      ba
101 | $aeng
102   $agb
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aSemantics with applications$ea formal introduction$fHanne Riis Nielson$gFlemming Nielson
210   $aChichester [etc.]$cJ. Wiley & Sons$dc1992
215   $aXII, 240 p.$d24 cm
225 | $aWiley professional computing
410  0$1001MIL0071523$12001 $aWiley professional computing
606   $aLinguaggi di programmazione$xSemantica$2FIR$3UFIC047092$9I
676   $a005.13$9LINGUAGGI DI PROGRAMMAZIONE$v14
676   $a005.13$9LINGUAGGI DI PROGRAMMAZIONE$v22
700  1$aNielson$b, Hanne Riis$f <1954-    >$3UBOV842698$4070$0714739
701  1$aNielson$b, Flemming$f <1955-    >$3UBOV030375$4070$0714740
801  3$aIT$bIT-NA0079$c20080213
850   $aIT-BN0095          
912   $aUBO0040650
950  0$aBiblioteca Centralizzata di Ateneo$c1 v.$d 01SALA DING 005.13                  NIE.se$e 0102 0000004025    B A4                    1 v.$f3 $h19930915$i19930915
977   $a 01
996   $aSemantics with applications$91382094
997   $aUNISANNIO