LEADER 01503nam 2200409 450 001 990002965310203316 005 20070824115904.0 010 $a3-540-29797-9 035 $a000296531 035 $aUSA01000296531 035 $a(ALEPH)000296531USA01 035 $a000296531 100 $a20070824d2006----km-y0itay0103----ba 101 $aeng 102 $aDE 105 $aa|||||||101yy 200 1 $aFormal methods and software engineering$e7th International Conference on Formal Engineering Methods, ICFEM 2005$fKung-Kiu Lau, Richard Banach(Eds.)$eManchester, UK, November 1-4, 2005$eproceedings 210 $aBerlin$cSpringer$dcopyr. 2006 215 $aXIV, 494 p.$cill.$d20 cm 225 2 $aLecture notes in computer science$v3785 410 0$12001$aLecture notes in computer science$v3785 454 1$12001 461 1$1001-------$12001 606 0 $aElaboratori elettronici$xProgrammazione$yManchester$z2005$xCongressi 610 0 $aSoftware$xProgettazione$xCongressi$yManchester$z2005 676 $a004.01 702 1$aLAU,$bKung-Kiu 702 1$aBANACH,$bRichard 710 12$aInternational conference on formal engineering methods, ICFEM 2005$eManchester>$f2005 ;$d<7. ;$0598044 801 0$aIT$bsalbc$gISBD$bCBS$gISBD 912 $a990002965310203316 951 $a001 LNCS 3785$b32585/CBS$c001$d00112882 959 $aBK 969 $aSCI 979 $aSENATORE$b90$c20070824$lUSA01$h1159 996 $aFormal methods and software engineering$91026785 997 $aUNISA