Formal methods for Web services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009 : advanced lectures /
This 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 forma...
| Corporate Authors: | International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bertinoro, Italy) |
|---|---|
| Other Authors: | International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bernardo, Marco., Padovani, Luca., Zavattaro, Gianluigi., SpringerLink (Online service) |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
©2009.
Berlin ; New York : [2009] |
| Physical Description: |
1 online resource (vi, 339 pages) : illustrations. |
| Series: |
LNCS sublibrary. Programming and software engineering.
Lecture notes in computer science ; 5569. |
| Subjects: |
| LEADER | 06752cam a2201225 a 4500 | ||
|---|---|---|---|
| 001 | 424513804 | ||
| 003 | OCoLC | ||
| 005 | 20240223121953.0 | ||
| 006 | m o d | ||
| 007 | cr un||||||||| | ||
| 008 | 090713s2009 gw a ob 101 0 eng d | ||
| 015 | |a 09,N21,0048 |2 dnb | ||
| 016 | 7 | |a 993987737 |2 DE-101 | |
| 019 | |a 370120152 |a 488555616 |a 647813241 |a 769035854 |a 964892537 |a 1005805078 |a 1044316821 |a 1056348125 |a 1060813258 |a 1061013143 |a 1066493921 |a 1067039444 |a 1074282854 |a 1081184922 |a 1086871064 |a 1110230373 |a 1112538518 |a 1162748124 |a 1167244224 |a 1167681027 |a 1244063522 |a 1262671403 | ||
| 020 | |a 9783642019180 | ||
| 020 | |a 3642019188 | ||
| 020 | |z 9783642019173 | ||
| 020 | |z 364201917X | ||
| 024 | 7 | |a 10.1007/978-3-642-01918-0. |2 doi | |
| 035 | |a (OCoLC)424513804 |z (OCoLC)370120152 |z (OCoLC)488555616 |z (OCoLC)647813241 |z (OCoLC)769035854 |z (OCoLC)964892537 |z (OCoLC)1005805078 |z (OCoLC)1044316821 |z (OCoLC)1056348125 |z (OCoLC)1060813258 |z (OCoLC)1061013143 |z (OCoLC)1066493921 |z (OCoLC)1067039444 |z (OCoLC)1074282854 |z (OCoLC)1081184922 |z (OCoLC)1086871064 |z (OCoLC)1110230373 |z (OCoLC)1112538518 |z (OCoLC)1162748124 |z (OCoLC)1167244224 |z (OCoLC)1167681027 |z (OCoLC)1244063522 |z (OCoLC)1262671403 | ||
| 037 | |a 978-3-642-01917-3 |b Springer |n http://www.springerlink.com | ||
| 040 | |a GW5XE |b eng |e pn |c GW5XE |d GZM |d WAU |d IXA |d OCLCQ |d E7B |d OCLCO |d OCLCQ |d NLGGC |d OCLCF |d BEDGE |d DKDLA |d OCLCQ |d OCLCO |d A7U |d YDXCP |d IDEBK |d NUI |d OCL |d OCLCO |d EBLCP |d OCLCQ |d OCLCO |d OCLCQ |d VT2 |d OCLCQ |d UAB |d ESU |d OCLCQ |d BUF |d CEF |d U3W |d WYU |d OCLCO |d YOU |d AU@ |d OCLCO |d OCLCQ |d OCL |d ERF |d OCLCQ |d LUN |d LIP |d COM |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
| 049 | |a COM6 | ||
| 050 | 4 | |a QA76.9.F67 |b I58 2009 | |
| 072 | 7 | |a QA |2 lcco | |
| 072 | 7 | |a UMZ. |2 bicssc | |
| 072 | 7 | |a UL. |2 bicssc | |
| 072 | 7 | |a COM051230. |2 bisacsh | |
| 072 | 7 | |a UMZ. |2 thema | |
| 072 | 7 | |a UL. |2 thema | |
| 082 | 0 | 4 | |a 005.1/31 |2 22 |
| 084 | |a 54.64 |2 bcl | ||
| 084 | |a 54.84 |2 bcl | ||
| 084 | |a 54.65 |2 bcl | ||
| 084 | |a SS 4800 |2 rvk | ||
| 111 | 2 | |a International School on Formal Methods for the Design of Computer, Communication, and Software Systems |n (9th : |d 2009 : |c Bertinoro, Italy) | |
| 245 | 1 | 0 | |a Formal methods for Web services : |b 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009 : advanced lectures / |c Marco Bernardo, Luca Padovani, Gianluigi Zavattaro (eds.). |
| 246 | 3 | |a SFM 2009. | |
| 260 | |a Berlin ; |a New York : |b Springer, |c ©2009. | ||
| 264 | 1 | |a Berlin ; |a New York : |b Springer, |c [2009] | |
| 264 | 4 | |c ©2009. | |
| 300 | |a 1 online resource (vi, 339 pages) : |b illustrations. | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a computer |b c |2 rdamedia. | ||
| 338 | |a online resource |b cr |2 rdacarrier. | ||
| 347 | |a text file. | ||
| 347 | |b PDF. | ||
| 490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |v 5569. |a Tutorial. | |
| 490 | 1 | |a LNCS sublibrary. SL 2, Programming and software engineering. | |
| 504 | |a Includes bibliographical references and index. | ||
| 588 | 0 | |a Print version record. | |
| 520 | |a This 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. | ||
| 505 | 0 | |a Calculi 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. | |
| 546 | |a English. | ||
| 650 | 0 | |a Formal methods (Computer science) |v Congresses. | |
| 650 | 0 | |a Web services |v Congresses. | |
| 650 | 0 | |a Internet |v Congresses. | |
| 650 | 6 | |a Méthodes formelles (Informatique) |v Congrès. | |
| 650 | 6 | |a Services Web |v Congrès. | |
| 650 | 6 | |a Internet |v Congrès. | |
| 650 | 7 | |a Informatique. |2 eclas. | |
| 650 | 7 | |a Formal methods (Computer science) |2 fast. | |
| 650 | 7 | |a Internet. |2 fast. | |
| 650 | 7 | |a Web services. |2 fast. | |
| 650 | 7 | |a Formale Methode. |2 gnd. | |
| 650 | 7 | |a Serviceorientierte Architektur. |2 gnd. | |
| 650 | 7 | |a Web Services. |2 gnd. | |
| 655 | 2 | |a Congress. | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast. | |
| 655 | 7 | |a Conference papers and proceedings. |2 lcgft. | |
| 655 | 7 | |a Actes de congrès. |2 rvmgf. | |
| 655 | 7 | |a Bertinoro (2009) |2 swd. | |
| 655 | 7 | |a proceedings (reports) |2 aat. | |
| 655 | 7 | |a Kongress. |2 swd. | |
| 700 | 1 | |a Bernardo, Marco. | |
| 700 | 1 | |a Padovani, Luca. | |
| 700 | 1 | |a Zavattaro, Gianluigi. | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 776 | 0 | 8 | |i Print version: |a International School on Formal Methods for the Design of Computer, Communication, and Software Systems (9th : 2009 : Bertinoro, Italy). |t Formal methods for Web services. |d Berlin ; New York : Springer, ©2009 |z 9783642019173 |z 364201917X |w (OCoLC)351306359. |
| 830 | 0 | |a LNCS sublibrary. |n SL 2, |p Programming and software engineering. | |
| 830 | 0 | |a Lecture notes in computer science ; |v 5569. | |
| 907 | |a .b29594017 |b multi |c - |d 100215 |e 240320 | ||
| 998 | |a (3)cue |a cu |b 240227 |c m |d z |e - |f eng |g gw |h 0 |i 2 | ||
| 948 | |a MARCIVE Overnight, in 2024.03 | ||
| 948 | |a MARCIVE Comp, in 2022.12 | ||
| 948 | |a MARCIVE Over, 07/2021 | ||
| 948 | |a MARCIVE Comp, 2018.05 | ||
| 948 | |a MARCIVE Comp, 2017.10 | ||
| 948 | |a MARCIVE August, 2017 | ||
| 948 | |a MARCIVE extract Aug 5, 2017 | ||
| 994 | |a 92 |b COM | ||
| 995 | |a Loaded with m2btab.ltiac in 2024.03 | ||
| 995 | |a Loaded with m2btab.elec in 2024.02 | ||
| 995 | |a Loaded with m2btab.ltiac in 2022.12 | ||
| 995 | |a Loaded with m2btab.ltiac in 2021.07 | ||
| 995 | |a Loaded with m2btab.elec in 2021.06 | ||
| 995 | |a Loaded with m2btab.ltiac in 2018.06 | ||
| 995 | |a Loaded with m2btab.ltiac in 2017.10 | ||
| 995 | |a Loaded with m2btab.ltiac in 2017.08 | ||
| 995 | |a Loaded with m2btab.elec in 2016 | ||
| 995 | |a Loaded with m2btab.elec in 2016 | ||
| 995 | |a OCLC offline update by CMU | ||
| 999 | |e z | ||
| 999 | |a cue | ||
| 989 | |d cueme |e - - |f - - |g - |h 0 |i 0 |j 200 |k 240227 |l $0.00 |m |n - - |o - |p 0 |q 0 |t 0 |x 0 |w SpringerLink |1 .i150228661 |u http://ezproxy.coloradomesa.edu/login?url=https://link.springer.com/10.1007/978-3-642-01918-0 |3 SpringerLink |z Click here for access | ||