LEADER 01250nam--2200361---45-- 001 990002962100203316 005 20070809103809.0 010 $a3-540-22342-8 035 $a000296210 035 $aUSA01000296210 035 $a(ALEPH)000296210USA01 035 $a000296210 100 $a20070809d2004----km-y0ITAy0103-------ba 101 0 $aENG 102 $aDE 200 1 $aComputer aided verification$e16th International conference, CAV 2004$eBoston, MA, USA, July 13-17, 2004$eproceedings$fRajeev Alur, Doron A. Peled (eds.) 210 $aBerlin [etc.]$cSpringer$dcopyr. 2004 215 $aXIII, 536 p.$cill.$d20 cm 225 $aLecture notes in computer science$v3114 410 $12001$aLecture notes in computer science$v3114 610 1 $aSistemi operativi$xModelli matematici$xCongressi$yBoston$z2004 676 $a005.1 702 1$aALUR,$bRajeev 702 1$aPELED,$bDoron A. 710 12$aInternational conference, CAV 2004$d<16. ;$f2004 ;$eBoston>$0597807 801 0$aITA$bCBS$gISBD 912 $a990002962100203316 951 $a001 LNCS 3114$b31186/CBS$c001$d00215282 959 $aBK 969 $aSCI 979 $aSENATORE$b90$c20070809$lUSA01$h1038 996 $aComputer aided verification$91026813 997 $aUNISA LEADER 01246nam0-22003611i-450 001 990003192750403321 005 20221028102623.0 010 $a88-238-0030-7 035 $a000319275 035 $aFED01000319275 035 $a(Aleph)000319275FED01 100 $a20030910d1989----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $a--------001yy 200 1 $a<>sistema bancario italiano e l'integrazione dei mercati$eun confronto delle strutture e degli ordinamenti dei principali paesi$fL. Anderloni ... [et al.]$ga cura di Giancarlo Forestieri, Marco Onado 210 $aMilano$cEGEA$d1989 215 $aXV, 422 p.$d24 cm 300 $a[in copert.: NEWFIN - Centro Studi sull'Innovazione Finanziaria dell'Università Bocconi] 676 $a330$v23$zita 702 1$aAnderloni,$bGiancarlo 702 1$aForestieri,$bGiancarlo$f<1947- > 702 1$aOnado,$bMarco$f<1941- > 712 02$aNewfin$c 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990003192750403321 952 $aJ/2.11 FOR/N.A.$b9258$fSES 952 $aXV M1 127 (3)$b23808$fFGBC 959 $aFGBC 959 $aSES 996 $aSistema bancario italiano e l'integrazione dei mercati$956005 997 $aUNINA