LEADER 01360nam2-2200385---45--
001 990003325850203316
005 20091006112428.0
010   $a978-3-540-79229-1
035   $a000332585
035   $aUSA01000332585
035   $a(ALEPH)000332585USA01
035   $a000332585
100   $a20091006d2009----km-y0ITAy0103-------ba
101 0 $aeng
102   $aDE
200 1 $aWeb services and formal methods$e5th international workshop, WS-FM 2008$eMilan, Italy, september 4-5, 2008$eRevised selected papers$fRoberto Bruni, Karsten Wolf...[et al.] (Eds.)
210   $aBerlin$cSpringer$dcopyr. 2009
215   $aX, 239 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$v5387
410   $12001$aLecture notes in computer science
461  1$1001000314960$12001$aLecture notes in computer science$v5387
606 1 $aInternet$xCongressi$yMilan$z2008
606 1 $aInformatica$xCongressi$yMilan$z2008
676   $a006
702  1$aBRUNI,$bRoberto
702  1$aWOLF,$bKarsten
710 12$aInternational Workshop, WS-FM 2008$d<5.;$f2008;$eMilan>$0606183
801  0$aITA$bsalbc$gISBD
912   $a990003325850203316
951   $a001 LNCS 5387$b38401/CBS$c001$d00222310
959   $aBK
969   $aSCI
979   $aRSIAV6$b90$c20091006$lUSA01$h1124
996   $aWeb services and formal methods$91120300
997   $aUNISA