LEADER 00894nam0 2200265   450 
001 000017704
005 20081015153243.0
010   $a88-204-3053-3
100   $a20081015d1989----km-y0itay50------ba
101 1 $aita
102   $aIT
105   $ay-------001yy
200 1 $aSemantica denotazionale ed algebrica dei linguaggi di programmazione$fR. De Nicola ... [et al.]
210   $aMilano$cFrancoAngeli$dc1989
215   $a222 p.$d22 cm
225 2 $aCRAI$v7
410  0$12001$aCRAI
610 1 $aElaboratori elettronici$aLinguaggi
676   $a005.131$v19$9Linguaggi di programmazione. Logica simbolica (matematica)
702  1$aDe Nicola,$bRocco
801  0$aIT$bUNIPARTHENOPE$c20081015$gRICA$2UNIMARC
912   $a000017704
951   $aM 005.131/3$bM 1018$cDSA$d2008
996   $aSemantica denotazionale ed algebrica dei linguaggi di programmazione$9437115
997   $aUNIPARTHENOPE