Vor Ort
Merkzettel Warenkorb
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

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.10.2016

Abbildungen

XIV, 99 illus., 58 illus. in color., schwarz-weiss Illustrationen, farbige Illustrationen

Herausgeber

Bernhard Thalheim + weitere

Verlag

Springer

Seitenzahl

332

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

528 g

Auflage

Softcover reprint of the original 1st edition 2015

Sprache

Englisch

ISBN

978-3-319-34727-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.10.2016

Abbildungen

XIV, 99 illus., 58 illus. in color., schwarz-weiss Illustrationen, farbige Illustrationen

Herausgeber

Verlag

Springer

Seitenzahl

332

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

528 g

Auflage

Softcover reprint of the original 1st edition 2015

Sprache

Englisch

ISBN

978-3-319-34727-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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: 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.