Produktbild: Formal Methods for Web Services
Band 5569

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

46,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

12.05.2009

Abbildungen

mit Illustrationen

Herausgeber

Marco Bernardo + weitere

Verlag

Springer Berlin

Seitenzahl

341

Maße (L/B/H)

23,5/15,9/2,3 cm

Gewicht

534 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-01917-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

12.05.2009

Abbildungen

mit Illustrationen

Herausgeber

Verlag

Springer Berlin

Seitenzahl

341

Maße (L/B/H)

23,5/15,9/2,3 cm

Gewicht

534 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-01917-3

Herstelleradresse

Springer Nature Customer Service Center GmbH
Europaplatz 3
69115 Heidelberg
DE
ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Formal Methods for Web Services
  • 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.