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