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
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2009
|
| Schriftenreihe: | Lecture notes in computer science
5569 : Tutorial |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | VI, 339 S. graph. Darst. 24 cm |
| ISBN: | 9783642019173 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035527278 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 090526s2009 xx d||| |||| 10||| eng d | ||
| 015 | |a 09,N21,0048 |2 dnb | ||
| 016 | 7 | |a 993987737 |2 DE-101 | |
| 020 | |a 9783642019173 |c kart. : EUR 49.17 (freier Pr.), sfr 71.50 (freier Pr.) |9 978-3-642-01917-3 | ||
| 024 | 3 | |a 9783642019173 | |
| 028 | 5 | 2 | |a 12676064 |
| 035 | |a (OCoLC)351306359 | ||
| 035 | |a (DE-599)DNB993987737 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA76.9.F67 | |
| 082 | 0 | |a 006.76015113 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 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 ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2009 | |
| 300 | |a VI, 339 S. |b graph. Darst. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 5569 : Tutorial | |
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a Web Services - Formale Methode - Kongress - Bertinoro <2009> | |
| 650 | 4 | |a Web Services - Serviceorientierte Architektur - Formale Methode - Kongress - Bertinoro <2009> | |
| 650 | 4 | |a Formal methods (Computer science) |v Congresses | |
| 650 | 4 | |a Internet |v Congresses | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Web Services |0 (DE-588)4691234-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Serviceorientierte Architektur |0 (DE-588)4841015-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2009 |z Bertinoro |2 gnd-content | |
| 689 | 0 | 0 | |a Web Services |0 (DE-588)4691234-4 |D s |
| 689 | 0 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Web Services |0 (DE-588)4691234-4 |D s |
| 689 | 1 | 1 | |a Serviceorientierte Architektur |0 (DE-588)4841015-9 |D s |
| 689 | 1 | 2 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Bernardo, Marco |d 1970- |e Sonstige |0 (DE-588)1036692701 |4 oth | |
| 711 | 2 | |a International School on Formal Methods for the Design of Computer, Communication, and Software Systems |n 9 |d 2009 |c Bertinoro |j Sonstige |0 (DE-588)16009566-9 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 5569 : Tutorial |w (DE-604)BV000000607 |9 5569 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017583423&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-017583423 | |
Datensatz im Suchindex
| _version_ | 1820875121131257856 |
|---|---|
| adam_text |
TABLE OF CONTENTS CALCULI FOR SERVICE-ORIENTED COMPUTING 1 ROBERTO BRUNI
SERVICE INTERACTION: PATTERNS, FORMALIZATION, AND ANALYSIS 42 WIL M.P.
VAN DER AALST, ARJAN J. MOOIJ, CHRISTIAN STAHL, AND KARSTEN WOLF
SYNTHESIS AND CORAPOSITION OF WEB SERVICES 89 ANNAPAOLA MARCONI AND
MARCO PISTORE FUNDAMENTALS OF SESSION TYPES 158 VASCO T. VASCONCELOS
ASYNCHRONOUS SESSION TYPES: EXCEPTIONS AND MULTIPARTY INTERACTIONS.
187 MARCO CARBONE, NOBUKO YOSHIDA, AND KOHEI HONDA CONTRACT-BASED
DISCOVERY AND ADAPTATION OF WEB SERVICES 213 LUCA PADOVANI
CONTRACT-BASED DISCOVERY AND COMPOSITION OF WEB SERVICES 261 MARIO
BRAVETTI AND GIANLUIGI ZAVATTARO QUANTITATIVE ANALYSIS OF WEB SERVICES
USING SRMC 296 ALLAN CLARK, STEPHEN GILMORE, AND MIRCO TRIBASTONE AUTHOR
INDEX 341 BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/993987737
DIGITALISIERT DURCH |
| any_adam_object | 1 |
| author_GND | (DE-588)1036692701 |
| building | Verbundindex |
| bvnumber | BV035527278 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.F67 |
| callnumber-search | QA76.9.F67 |
| callnumber-sort | QA 276.9 F67 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)351306359 (DE-599)DNB993987737 |
| dewey-full | 006.76015113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.76015113 |
| dewey-search | 006.76015113 |
| dewey-sort | 16.76015113 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV035527278</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">090526s2009 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,N21,0048</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">993987737</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642019173</subfield><subfield code="c">kart. : EUR 49.17 (freier Pr.), sfr 71.50 (freier Pr.)</subfield><subfield code="9">978-3-642-01917-3</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642019173</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12676064</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)351306359</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB993987737</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.F67</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.76015113</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal methods for web services</subfield><subfield code="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</subfield><subfield code="c">Marco Bernardo ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VI, 339 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">5569 : Tutorial</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Web Services - Formale Methode - Kongress - Bertinoro <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Web Services - Serviceorientierte Architektur - Formale Methode - Kongress - Bertinoro <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal methods (Computer science)</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Internet</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Web Services</subfield><subfield code="0">(DE-588)4691234-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Serviceorientierte Architektur</subfield><subfield code="0">(DE-588)4841015-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2009</subfield><subfield code="z">Bertinoro</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Web Services</subfield><subfield code="0">(DE-588)4691234-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Web Services</subfield><subfield code="0">(DE-588)4691234-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Serviceorientierte Architektur</subfield><subfield code="0">(DE-588)4841015-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bernardo, Marco</subfield><subfield code="d">1970-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1036692701</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International School on Formal Methods for the Design of Computer, Communication, and Software Systems</subfield><subfield code="n">9</subfield><subfield code="d">2009</subfield><subfield code="c">Bertinoro</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16009566-9</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">5569 : Tutorial</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5569</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017583423&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-017583423</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2009 Bertinoro gnd-content |
| genre_facet | Konferenzschrift 2009 Bertinoro |
| id | DE-604.BV035527278 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:10:35Z |
| institution | BVB |
| institution_GND | (DE-588)16009566-9 |
| isbn | 9783642019173 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017583423 |
| oclc_num | 351306359 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| physical | VI, 339 S. graph. Darst. 24 cm |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | 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 Marco Bernardo ... (eds.) Berlin [u.a.] Springer 2009 VI, 339 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 5569 : Tutorial Literaturangaben Web Services - Formale Methode - Kongress - Bertinoro <2009> Web Services - Serviceorientierte Architektur - Formale Methode - Kongress - Bertinoro <2009> Formal methods (Computer science) Congresses Internet Congresses Formale Methode (DE-588)4333722-3 gnd rswk-swf Web Services (DE-588)4691234-4 gnd rswk-swf Serviceorientierte Architektur (DE-588)4841015-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2009 Bertinoro gnd-content Web Services (DE-588)4691234-4 s Formale Methode (DE-588)4333722-3 s DE-604 Serviceorientierte Architektur (DE-588)4841015-9 s Bernardo, Marco 1970- Sonstige (DE-588)1036692701 oth International School on Formal Methods for the Design of Computer, Communication, and Software Systems 9 2009 Bertinoro Sonstige (DE-588)16009566-9 oth Lecture notes in computer science 5569 : Tutorial (DE-604)BV000000607 5569 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017583423&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | 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 Lecture notes in computer science Web Services - Formale Methode - Kongress - Bertinoro <2009> Web Services - Serviceorientierte Architektur - Formale Methode - Kongress - Bertinoro <2009> Formal methods (Computer science) Congresses Internet Congresses Formale Methode (DE-588)4333722-3 gnd Web Services (DE-588)4691234-4 gnd Serviceorientierte Architektur (DE-588)4841015-9 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4691234-4 (DE-588)4841015-9 (DE-588)1071861417 |
| title | 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 |
| title_auth | 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 |
| title_exact_search | 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 |
| title_full | 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 Marco Bernardo ... (eds.) |
| title_fullStr | 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 Marco Bernardo ... (eds.) |
| title_full_unstemmed | 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 Marco Bernardo ... (eds.) |
| title_short | Formal methods for web services |
| title_sort | 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 |
| title_sub | 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 |
| topic | Web Services - Formale Methode - Kongress - Bertinoro <2009> Web Services - Serviceorientierte Architektur - Formale Methode - Kongress - Bertinoro <2009> Formal methods (Computer science) Congresses Internet Congresses Formale Methode (DE-588)4333722-3 gnd Web Services (DE-588)4691234-4 gnd Serviceorientierte Architektur (DE-588)4841015-9 gnd |
| topic_facet | Web Services - Formale Methode - Kongress - Bertinoro <2009> Web Services - Serviceorientierte Architektur - Formale Methode - Kongress - Bertinoro <2009> Formal methods (Computer science) Congresses Internet Congresses Formale Methode Web Services Serviceorientierte Architektur Konferenzschrift 2009 Bertinoro |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017583423&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT bernardomarco formalmethodsforwebservices9thinternationalschoolonformalmethodsforthedesignofcomputercommunicationandsoftwaresystemssfm2009bertinoroitalyjune162009advancedlectures AT internationalschoolonformalmethodsforthedesignofcomputercommunicationandsoftwaresystemsbertinoro formalmethodsforwebservices9thinternationalschoolonformalmethodsforthedesignofcomputercommunicationandsoftwaresystemssfm2009bertinoroitalyjune162009advancedlectures |