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 / Programming an - Marco Bernardo - Knjige - Springer-Verlag Berlin and Heidelberg Gm - 9783642019173 - 12. maja 2009
Če se naslovnica in naslov ne ujemata, je naslov pravilen

Marco Bernardo
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 / Programming an

Cena
€ 75,99

Naročeno iz oddaljenega skladišča

Predvidena dobava 25. nov - 9. dec
Božična darila lahko vrnete do 31. januarja
Prejemajte obvestila o novih izdajah izvajalca Marco Bernardo

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

Not rated yet

This book presents papers from the lectures of leading researchers given at the Ninth International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, which was devoted to formal methods for web services.

Marc Notes: Tutorial; Based on publisher-provided data. Table of Contents: Calculi for Service-Oriented Computing / Roberto Bruni -- Service Interaction: Patterns, Formalization, and Analysis / Wil M. P. van der Aalst, Arjan J. Mooij, Christian Stahl, Karsten Wolf -- Synthesis and Composition of Web Services / Annapaola Marconi, Marco Pistore -- Fundamentals of Session Types / Vasco T. Vasconcelos -- Asynchronous Session Types: Exceptions and Multiparty Interactions / Marco Carbone, Nobuko Yoshida, Kohei Honda -- Contract-Based Discovery and Adaptation of Web Services / Luca Padovani -- Contract-Based Discovery and Composition of Web Services / Mario Bravetti, Gianluigi Zavattaro -- Quantitative Analysis of Web Services Using SRMC / Allan Clark, Stephen Gilmore, Mirco Tribastone -- Author Index. Jacket Description/Back: 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. Publisher Marketing: 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.

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 12. maja 2009
ISBN13 9783642019173
Založniki Springer-Verlag Berlin and Heidelberg Gm
Strani 341
Dimenzije 156 × 234 × 18 mm   ·   544 g
Jezik Francoščina  

Več od Marco Bernardo

Prikaži vse

Več od istega **izdajatelja**

Ogled vseh Marco Bernardo