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