LEADER 01492nam2-2200397---450-
001 990003167270203316
005 20081029124529.0
010   $a978-3-540-88193-3
035   $a000316727
035   $aUSA01000316727
035   $a(ALEPH)000316727USA01
035   $a000316727
100   $a20081029d2008----km-y0itay0103----ba
101   $aeng
102   $aDE
105   $aa|||||||101yy
200 1 $aFormal methods and software engineering$e10th International conference on formal engineering methods, ICFEM 2008$eKitakyushu-City, Japan, October 27-31, 2008$eProceedings$fShaoying Liu, Tom Maibaum, Keijiro Araki (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2008
215   $aXI, 396 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$v5256
410  0$12001$aLecture notes in computer science
606 0 $aElaboratori elettronici$xProgrammazione$xCongressi$yKitakyushu$z2008
610 0 $aSoftware$xProgettazione$xCongressi$yKitakyushu$z2008
676   $a004.01
702  1$aLIU,$bShaoying
702  1$aMAIBAUM,$bTom
702  1$aARAKI,$bKeijiro
710 12$aInternational conference on formal engineering methods, ICFEM 2008$d<10.;$eKitakyushu ;$f2008;>$0602605
801  0$aITA$bsalbc$gISBD
912   $a990003167270203316
951   $a001 LNCS 5256$b37575/CBS$c001$d00215766
959   $aBK
969   $aSCI
979   $aCBAS$b10$c20081029$lUSA01$h1245
996   $aFormal methods and software engineering$91014409
997   $aUNISA