LEADER 01048nam0-22003731i-450- 001 990001485560403321 005 20090716122438.0 010 $a0-262-08289-6 035 $a000148556 035 $aFED01000148556 035 $a(Aleph)000148556FED01 035 $a000148556 100 $a20010731d2000----km-y0itay50------ba 101 0 $aeng 102 $aUS 105 $aa---a---001yy 200 1 $aDynamic logic$fDavid Harel, Dexter Kozen, Jerzy Tiuryn 210 $aCambridge (Mass.)$cThe Mit press$dc2000 215 $axv, 459 p.$d23 cm 225 1 $aFundations of computing 610 0 $aMatematica degli elaboratori 610 0 $aMetodi formali 610 0 $aLogica per il computer 676 $a004.015 700 1$aHarel,$bDavid$f<1950- >$047551 701 1$aKozen,$bDexter$f<1951- >$065955 701 1$aTiuryn,$bJerzy$065956 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001485560403321 952 $a004.015-HAR-1$b1025$fSC1 959 $aSC1 996 $aDynamic logic$9378213 997 $aUNINA LEADER 01541nam 2200433 450 001 000010815 005 20070503173400.0 010 $a88-02-03626-8 100 $a20020320d1981----km-y0itay0103----ba 101 0 $aita 102 $aIT 200 1 $a<> signora dalle camelie$fAlexandre Dumas (figlio)$gintroduzione di Gianni Nicoletti$gtraduzione di Giovanna Giovannelli 200 1 $a1 $n0005591 210 $aTorino$cUTET$dc1981 215 $aIX, 242 p.$d18 cm. 225 2 $a<> grandi scrittori stranieri 300 $aTit. orig.: <> dame aux camélias 410 0$12001$a<> grandi scrittori stranieri 676 $a843.8$v(20 ed.)$9Narrativa francese. 1848-1900 700 1$aDumas,$bAlexandre$c$0193197 702 1$aNicoletti,$bGianni 702 1$aGiovannelli,$bGiovanna 801 0$aIT$bUniversità della Basilicata - B.I.A.$gRICA$2unimarc 912 $a000010815 996 $aSignora dalle camelie$977120 997 $aUNIBAS BAS $aMONLET BAS $aMONOGR BAS $aLETTERE CAT $aSTD014$b01$c20020320$lBAS01$h1550 CAT $aTROMBONE$b20$c20020408$lBAS01$h1256 CAT $c20050601$lBAS01$h1754 CAT $abatch$b01$c20050718$lBAS01$h1050 CAT $c20050718$lBAS01$h1110 CAT $c20050718$lBAS01$h1140 CAT $c20050718$lBAS01$h1154 CAT $aBATCH$b00$c20070503$lBAS01$h1734 FMT Z30 -1$lBAS01$LBAS01$mBOOK$1BASA1$APolo Storico-Umanistico$2GEN$BCollezione generale$3FP/13292$613292$5L13292$820020320$f02$FPrestabile Generale