LEADER 01231nam--2200397---450- 001 990001829920203316 005 20080410095154.0 010 $a88-343-1108-6 035 $a000182992 035 $aUSA01000182992 035 $a(ALEPH)000182992USA01 035 $a000182992 100 $a20040707d2004----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $ay|||z|||001yy 200 1 $a<>altro$eidentitą, dialogo e conflitto nella societą plurale$fa cura di Vincenzo Cesareo 210 $aMilano$cV&P$d2004 215 $a324 p.$d21 cm 606 0 $aAlteritą 676 $a126 702 1$aCESAREO,$bVincenzo 801 0$aIT$bsalbc$gISBD 912 $a990001829920203316 951 $aII.5. 2733(XV A 332)$b174143 L.M.$cII.5.$d00139293 951 $aII.5. 2733a(XV A 332 A)$b187560 L.M.$cII.5.$d00177323 951 $aII.5. 2733b(XV A 332 B)$b187561 L.M.$cII.5.$d00177328 959 $aBK 969 $aUMA 979 $aMARIA$b10$c20040707$lUSA01$h1251 979 $aRIVELLI$b90$c20050511$lUSA01$h1122 979 $aPAOLA$b90$c20060313$lUSA01$h1317 979 $aPAOLA$b90$c20060313$lUSA01$h1322 979 $aANNAMARIA$b90$c20080410$lUSA01$h0951 996 $aAltro$9255433 997 $aUNISA LEADER 01258nam2-2200361li-450- 001 990003347270203316 005 20091112113526.0 010 $a978-3-642-05088-6 035 $a000334727 035 $aUSA01000334727 035 $a(ALEPH)000334727USA01 035 $a000334727 100 $a20091112d2009----km-y0itay50------ba20001109d1991999-km-y0itay0103----ba 101 0 $aeng 102 $aDE 105 $a||||||||001yy 200 1 $aFM 2009: formal methods$esecond world congress$eEindhoven, The Netherlands, november 2-6, 2009$eproceedings$fAna Cavalcanti...[et al.] (Eds.) 210 $aBerlin[etc.]$cSpringer$dcopyr. 2009 215 $aXVII, 820 p.$d24 cm 225 2 $aLecture notes in computer science$v5850 410 1$1001000314960$12001$aLecture notes in computer science$v5850 454 1$12001 606 0 $aElaborazione Elettronica$xCongressi$yEindhoven$z2009 676 $a005.74 702 1$aCAVALCANTI,$bAna 712 12$aInternational symposium on formal methods$d<2. ;$f2009 ;$eEindhoven> 912 $a990003347270203316 951 $a001 LNCS 5850$b38950/CBS$c001$d00335420 959 $aBK 969 $aSCI 979 $aRSIAV7$b90$c20091112$lUSA01$h1135 996 $aFM 2009: Formal Methods$9773761 997 $aUNISA