00894nam0 2200265 450 00001770420081015153243.088-204-3053-320081015d1989----km-y0itay50------baitaITy-------001yySemantica denotazionale ed algebrica dei linguaggi di programmazioneR. De Nicola ... [et al.]MilanoFrancoAngelic1989222 p.22 cmCRAI72001CRAIElaboratori elettroniciLinguaggi005.13119Linguaggi di programmazione. Logica simbolica (matematica)De Nicola,RoccoITUNIPARTHENOPE20081015RICAUNIMARC000017704M 005.131/3M 1018DSA2008Semantica denotazionale ed algebrica dei linguaggi di programmazione437115UNIPARTHENOPE