LEADER 01479nam--2200409---450-
001 990003072390203316
005 20080418120121.0
010   $a3-540-47460-9
035   $a000307239
035   $aUSA01000307239
035   $a(ALEPH)000307239USA01
035   $a000307239
100   $a20080229d2006----km-y0itay0103----ba
101   $aeng
102   $aDE
105   $aa|||||||101yy
200 1 $aFormal methods and software engineering$e8th International Conference on Formal Engineering Methods, ICFEM 2006$eMacao, China, November 2006$eproceedings$fZhiming Liu, Jifeng He (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2006
215   $aXII, 778 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$v4260
410  0$12001$aLecture notes in computer science$v4260
454  1$12001
606 0 $aElaboratori elettronici$xProgrammazione$xCongressi$yMacao$z2006
610 0 $aSoftware$xProgettazione$xCongressi$yMacao$z2006
676   $a004.01
702  1$aLIU,$bZhiming
702  1$aHE,$bJifeng
710 12$aInternational conference on formal engineering methods, ICFEM 2006$d<8;$f2006;$eMacao>$0600395
801  0$aITA$bsalbc$gISBD
912   $a990003072390203316
951   $a001 LNCS 4260$b34361/CBS$c001$d00216959
959   $aBK
969   $aSCI
979   $aANGELA$b90$c20080229$lUSA01$h1030
979   $aANGELA$b90$c20080418$lUSA01$h1201
996   $aFormal methods and software engineering$91023534
997   $aUNISA