LEADER 01282nam--2200373---45--
001 990001115770203316
005 20021213172921.0
010   $a3-540-43703-7
035   $a000111577
035   $aUSA01000111577
035   $a(ALEPH)000111577USA01
035   $a000111577
100   $a20021213d2002----km-y0ITAy0103-------ba
101 0 $aENG
102   $aDE
200 1 $aIntegrated formal methods$eThird International conference, IFM 2002$eTurku, Finland, May 15-18, 2002$eprocedings$fMichael Butler... <et al.> (eds.)
210   $aBerlin$cSpringer-Verlag$dcopyr. 2002
215   $aX, 339 p.$cill.$d20 cm.
225 2 $aLecture notes in computer science$v2335
410   $12001$aLecture notes in computer science$v2335
610 1 $aElaboratori elettronici$aCongressi$a2002
610 1 $aSoftware$aCongressi$a2002
676   $a004
702  1$aButler,$bMichael
710 12$aInternational conference, IFM <3.; 2002 ; Turku , Finland>$0554527
801  0$aITA$bCBS$gISBD
912   $a990001115770203316
951   $a001 LNCS (2335)$b0026811 CBS$c001$d00112106
959   $aBK
969   $aSCI
979   $aDIGIUSEPPE$b90$c20021213$lUSA01$h1729
979   $aPATRY$b90$c20040406$lUSA01$h1717
996   $aIntegrated formal methods$9981377
997   $aUNISA