LEADER 01404nam2-2200361---450-
001 990003325040203316
005 20091005133128.0
010   $a978-3-642-01917-3
035   $a000332504
035   $aUSA01000332504
035   $a(ALEPH)000332504USA01
035   $a000332504
100   $a20091005d2009----km-y0itay0103----ba
101   $aeng
102   $aDE
105   $aa---||||001yy
200 1 $aFormal methods for web services$e9th international school on formal methods for the design of computer, communication, and software systems, SFM 2009$eBertinoro, Italy, june 1-6, 2009$eadvanced lectures$fMarco Bernardo...[et al.] (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2009
215   $aVI, 339 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$v5569$iTutorial
410 0 $12001$aLecture notes in computer science$v5569
606 0 $aInformatica$xCongressi$yBertinoro$z2009
676   $a005.12
702  1$aBERNARDO,$bMarco
710 12$aInternational school on formal methods for the design of computer, communication, and software systems, SFM 2009$d<9.;$f<2009;$eBertinoro>$0606141
801  0$aITA$bsalbc$gISBD
912   $a990003325040203316
951   $a001 LNCS 5569$b38366/CBS$c001$d00222307
959   $aBK
969   $aSCI
979   $aRSIAV7$b90$c20091005$lUSA01$h1331
996   $aFormal methods for web services$91121435
997   $aUNISA