LEADER 01239nam--2200361---45--
001 990002975770203316
005 20070920124336.0
010   $a3-540-38862-1
035   $a000297577
035   $aUSA01000297577
035   $a(ALEPH)000297577USA01
035   $a000297577
100   $a20070920d2006----km-y0ITAy0103-------ba
101 0 $aeng
102   $aDE
200 1 $aWeb Services and Formal Methods$e3rd International Workshop, WS-FM 2006$eVienna, Austria, September 8-9, 2006$eproceedings$fMario Bravetti...[et al.](Eds.)
210   $aBerlin$cSpringer$dcopyr. 2006
215   $aX, 287 p.$cill.$d20 cm.
225 2 $aLecture notes in computer science$v4184
410   $12001$aLecture notes in computer science$v4184
606 1 $aInternet$xCongressi$yVienna$z2006
606 1 $aInformatica$xCongressi$yVienna$z2006
676   $a006
702  1$aBRAVETTI,$bMario
710 12$aInternational Workshop, WS-FM 2006$d<3. ;$f2006 ;$eVienna>$0598355
801  0$aITA$bCBS$gISBD
912   $a990002975770203316
951   $a001 LNCS 4184$b34117/CBS$c001$d00215665
959   $aBK
969   $aSCI
979   $aSENATORE$b90$c20070920$lUSA01$h1243
996   $aWeb Services and Formal Methods$91027526
997   $aUNISA