Vor Ort
Merkzettel Warenkorb
  • Produktbild: Correct Software in Web Applications and Web Services
  • Produktbild: Correct Software in Web Applications and Web Services

Correct Software in Web Applications and Web Services

Aus der Reihe Texts & Monographs in Symbolic Computation

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

25.06.2015

Abbildungen

XIV, 332 p. 99 illus., 58 illus. in color.

Herausgeber

Bernhard Thalheim + weitere

Verlag

Springer

Seitenzahl

332

Maße (L/B/H)

24,1/16/2,5 cm

Gewicht

688 g

Sprache

Englisch

ISBN

978-3-319-17111-1

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

25.06.2015

Abbildungen

XIV, 332 p. 99 illus., 58 illus. in color.

Herausgeber

Verlag

Springer

Seitenzahl

332

Maße (L/B/H)

24,1/16/2,5 cm

Gewicht

688 g

Sprache

Englisch

ISBN

978-3-319-17111-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: 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)
Die Leseprobe wird geladen.
  • Produktbild: Correct Software in Web Applications and Web Services
  • Produktbild: Correct Software in Web Applications and Web Services

  • Formal modelling and verification of transactional web services composition. A refinement and proof approach with Event-B.-Towards a Model of Services based on Co-creation, Abstraction and Rights Distribution.- Integrating a Model-Driven Approach and Formal Verification for the Development of Secure Service Applications.- A Formal Model of Client-Cloud Interaction.- W*H: The Conceptual Model for Services.- Monitoring of Client-Cloud Interaction.- Formal Reliability Models for Web Services.- What Constitutes a Service on the Web?.- Co-Design of Web Information Systems.