LEADER 04519nam  22008055  450 
001 996466271103316
005 20200630122904.0
010   $a3-642-01918-8
024 7 $a10.1007/978-3-642-01918-0
035   $a(CKB)1000000000746045
035   $a(SSID)ssj0000317721
035   $a(PQKBManifestationID)11208037
035   $a(PQKBTitleCode)TC0000317721
035   $a(PQKBWorkID)10295533
035   $a(PQKB)10741471
035   $a(DE-He213)978-3-642-01918-0
035   $a(MiAaPQ)EBC3064235
035   $a(PPN)136301169
035   $a(EXLCZ)991000000000746045
100   $a20100301d2009      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFormal Methods for Web Services$b[electronic resource] $e9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures /$fedited by Marco Bernardo, Luca Padovani, Gianluigi Zavattaro
205   $a1st ed. 2009.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009.
215   $a1 online resource (VII, 341 p.) 
225 1 $aProgramming and Software Engineering ;$v5569
300   $aLectures.
311   $a3-642-01917-X 
320   $aIncludes bibliographical references and index.
327   $aCalculi for Service-Oriented Computing -- Service Interaction: Patterns, Formalization, and Analysis -- Synthesis and Composition of Web Services -- Fundamentals of Session Types -- Asynchronous Session Types: Exceptions and Multiparty Interactions -- Contract-Based Discovery and Adaptation of Web Services -- Contract-Based Discovery and Composition of Web Services -- Quantitative Analysis of Web Services Using SRMC.
330   $aThis book presents a set of 8 papers accompanying the lectures of leading researchers given at the 9th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, held in Bertinoro, Italy, in June 2009. SFM 2009 was devoted to formal methods for web services and covered several aspects including coreography, orchestration, description techniques, interaction, synthesis, composition, session types, contracts, verification, security, and performance.
410  0$aProgramming and Software Engineering ;$v5569
606   $aSoftware engineering
606   $aComputer engineering
606   $aComputer programming
606   $aProgramming languages (Electronic computers)
606   $aApplication software
606   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
606   $aComputer Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I27000
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040
608   $aBertinoro (2009)$2swd
608   $aKongress.$2swd
615  0$aSoftware engineering.
615  0$aComputer engineering.
615  0$aComputer programming.
615  0$aProgramming languages (Electronic computers).
615  0$aApplication software.
615 14$aSoftware Engineering/Programming and Operating Systems.
615 24$aComputer Engineering.
615 24$aSoftware Engineering.
615 24$aProgramming Techniques.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aInformation Systems Applications (incl. Internet).
676   $a004
686   $aSS 4800$2rvk
702   $aBernardo$b Marco$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPadovani$b Luca$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aZavattaro$b Gianluigi$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aInternational School on Formal Methods for the Design of Computer, Communication, and Software Systems
906   $aBOOK
912   $a996466271103316
996   $aFormal Methods for Web Services$9774173
997   $aUNISA