LEADER 01521nam2 2200397   450 
001 990003407850203316
005 20100607170339.0
010   $a978-3-642-10372-8
035   $a000340785
035   $aUSA01000340785
035   $a(ALEPH)000340785USA01
035   $a000340785
100   $a20100604d2009----km-y0itay0103----ba
101   $aeng
102   $aDE
105   $aa|||||||101yy
200 1 $aFormal methods and software engineering$e11th international conference on formal engineering methods, ICFEM 2009$eRio de Janeiro, brazil, december 9-12, 2009$eproceedings$fKarin Breitman, Ana Cavalcanti (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2009
215   $aXIV, 758 p.$cill.$d24 cm
225  2$aLecture notes in computer science$v5885
410  0$1001000314960$12001$aLecture notes in computer science
606 0 $aElaboratori$xProgrammazione$xAtti di congressi$2BNCF
606 0 $aProgrammi per elaboratori$xProgettazione$xAtti di congressi$2BNCF
676   $a004.01
702  1$aBREITMAN,$bKarin
702  1$aCAVALCANTI,$bAna
710 12$aInternational conference on formal engineering methods, ICFEM 2009$d<11.;$f2009;$eRio de Janeiro>$0607811
801  0$aITA$bsalbc$gISBD
912   $a990003407850203316
951   $a001 LNCS/5885$b39036/CBS$c001$d00335489
959   $aBK
969   $aSCI
979   $aANGELA$b90$c20100604$lUSA01$h1218
979   $aANGELA$b90$c20100607$lUSA01$h1703
996   $aFormal methods and software engineering$91126149
997   $aUNISA

LEADER 00904nam a2200241 i 4500
001 991001725079707536
005 20020502201255.0
008 940315s1985    it            ||| | ita  
035   $ab10898104-39ule_inst
035   $aLE02375398$9ExL
040   $aDip.to Studi Storici$bita
082 0 $a725
100 1 $aGuandalini, Gabriella$0537695
245 13$aIl Palazzo Comunale di Modena :$ble sedi, la cittą, il contado /$ca cura di Gabriella Guandalini
260   $aModena :$bEdizioni Panini,$cstampa 1985
300   $a269 p. :$bill. ;$c32 cm.
650  4$aModena$xPalazzo Comunale
907   $a.b10898104$b02-04-14$c28-06-02
912   $a991001725079707536
945   $aLE023 725 GUA 1 1$g1$i2023000016305$lle023$o-$pE0.00$q-$rn$so  $t0$u0$v0$w0$x0$y.i11003960$z28-06-02
996   $aPalazzo Comunale di Modena$9921096
997   $aUNISALENTO
998   $ale023$b01-01-94$cm$da  $e-$fita$git $h3$i1