LEADER 01394nam--2200385---450-
001 990001856550203316
005 20040716095937.0
010   $a3-540-20461-X
035   $a000185655
035   $aUSA01000185655
035   $a(ALEPH)000185655USA01
035   $a000185655
100   $a20040716d2003----km-y0itay0103----ba
101   $aeng
102   $aDE
105   $aa|||||||001yy
200 1 $aFormal methods and software engineering$e5. International conference on formal engineering methods,ICFEM 2003$eSingapore, November 5-7, 2003$eproceedings$fJin Song Dong, Jim Woodcock (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2003
215   $aXI, 681 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$v2885
410   $12001$aLecture notes in computer science$v2885
606   $aElaboratori elettronici$xProgrammazione$z2003
606   $aSoftware Progettazione$xCongressi$z2003
676   $a004.01
702  1$aDONG,$bJin Song
702  1$aWOODCOCK,$bJim
710 12$aInternational conference on formal engineering methods, ICFEM 2003 <5. ; 2003 ; Singapore>$0564416
801  0$aIT$bCBS$gISBD
912   $a990001856550203316
951   $a001 LNCS 2885$b0030484/CBS$c001$d00114300
959   $aBK
969   $aSCI
979   $aRIVELLI$b90$c20040716$lUSA01$h0959
996   $aFormal methods and software engineering$9956063
997   $aUNISA