KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
Produktbild: Web Services and Formal Methods
Band 6194

Web Services and Formal Methods 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers

Aus der Reihe Programming and Software Engineering

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

02.09.2010

Abbildungen

VII, 197 p. 60 illus.

Herausgeber

Cosimo Laneve + weitere

Verlag

Springer Berlin

Seitenzahl

197

Gewicht

330 g

Sprache

Englisch

ISBN

978-3-642-14457-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

02.09.2010

Abbildungen

VII, 197 p. 60 illus.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

197

Gewicht

330 g

Sprache

Englisch

ISBN

978-3-642-14457-8

Herstelleradresse

Springer-Verlag GmbH
Heidelberger Platz 3
14197 Berlin
Deutschland
Email: sdc-bookservice@springer.com
Url: www.springer.com
Telephone: +49 30 827870
Fax: +49 30 8214091

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: Web Services and Formal Methods
  • Sessions and Session Types: An Overview.- Choreography Rehearsal.- A Graph Syntax for Processes and Services.- A Formalisation of Adaptable Pervasive Flows.- Compliance Preorders for Web Services.- A Formal Semantics for the WS-BPEL Recovery Framework.- Realizability Is Controllability.- Specification and Verification of Multi-user Data-Driven Web Applications.- Automated Composition of Nondeterministic Stateful Services.- Towards Compensation Correctness in Interactive Systems.- Small Specifications for Tree Update.