LEADER 01517nam--2200421---45--
001 990000372490203316
010   $a3-540-41196-8
035   $a0037249
035   $aUSA010037249
035   $a(ALEPH)000037249USA01
035   $a0037249
100   $a20010323d2000----km-y0ITAy0103-------ba
101 0 $aENG
102   $aDE
200 1 $aIntegrated formal methods$esecond International conference, IFM 2000$eDagstuhl Castle, Germany, November 1-3, 2000$eprocedings$fWolfgang Grieskamp ... <et al.> (eds.)
210   $aBerlin$cSpringer-Verlag$dcopyr. 2000
215   $aX, 439 p.$cill.$d20 cm.
225 2 $aLecture notes in computer science$v1945
410   $12001$aLecture notes in computer science$v1945
610 1 $aElaboratori elettronici$aCongressi$a2000
610 1 $aSoftware$aCongressi$a2000
610 1 $aCongressi$aDagstuhl Castle (Germania)
676   $a004
702  1$aGrieskamp,$bWolfgang
710 12$aInternational conference, IFM <2.; 2000 ; Dagstuhl Castle, Germany>$0543950
801  0$aITA$bCBS$gISBD
912   $a990000372490203316
951   $a001 LNCS (1945)$b0026016 CBS$c001$d00104445
959   $aBK
969   $aSCI
979   $aALANDI$b90$c20010323$lUSA01$h1247
979   $aALANDI$b90$c20010323$lUSA01$h1250
979   $aALANDI$b90$c20010410$lUSA01$h1112
979   $aALANDI$b90$c20010410$lUSA01$h1115
979   $c20020403$lUSA01$h1645
979   $aPATRY$b90$c20040406$lUSA01$h1626
996   $aIntegrated formal methods$9877575
997   $aUNISA