LEADER 01398nam2-2200397---45--
001 990003143270203316
005 20080926171135.0
010   $a978-3-540-79229-1
035   $a000314327
035   $aUSA01000314327
035   $a(ALEPH)000314327USA01
035   $a000314327
100   $a20080911d2008----km-y0ITAy0103-------ba
101 0 $aeng
102   $aDE
200 1 $aWeb Services and Formal Methods$e4th International Workshop, WS-FM 2007$eBrisbane, Australia, 28-29, 2007$eproceedings$fMarlon Dumas, Reiko Heckel...[et al.](Eds.)
210   $aBerlin$cSpringer$dcopyr. 2008
215   $aVIII, 168 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$v4937
410   $12001$aLecture notes in computer science
461  1$1001000314960$12001$aLecture notes in computer science
606 1 $aInternet$xCongressi$yBrisbane$z2007
606 1 $aInformatica$xCongressi$yBrisbane$z2007
676   $a006
702  1$aDUMAS,$bMarlon
702  1$aHECKEL,$bReiko
710 12$aInternational Workshop, WS-FM 2007$d<4. ;$f2007 ;$eBrisbane>$0602062
801  0$aITA$bCBS$gISBD
912   $a990003143270203316
951   $a001 LNCS 4937$b36822/CBS$c001$d00217401
959   $aBK
969   $aSCI
979   $aCBAS$b10$c20080911$lUSA01$h1227
979   $aANGELA$b90$c20080926$lUSA01$h1711
996   $aWeb Services and Formal Methods$91016270
997   $aUNISA