This book presents a methodology to model and specify the data aspect of Web services, as it is overlooked by current standards for specifying Web services. The formal specification enables verification of service behavior, and the proposed methodology is based on formal methods and design-by-contract techniques. The Web has evolved from an information sharing medium to a wide-scale environment

53,49 €

Taschenbuch | Neu

oder

Auf Lager

Versandbereit in 1-2 Werktagen

zzgl.

Du kannst wie immer einen Kaufalarm setzen, wenn du auf das gebrauchte Buch warten möchtest.

Auf Lager

Versandbereit in 1-2 Werktagen

zzgl.

Handgeprüfte Gebrauchtware

Bis zu 50 % günstiger als neu

21 Tage Widerrufsrecht

Produktinformationen

Technische Daten

Erscheinungsdatum

23.08.2016

Sprache

Englisch

EAN

9783319368108

Herausgeber

Springer International Publishing

Serien- oder Bandtitel

Web-Scale Workflow and Analytics

Sonderedition

Nein

Autor

Iman Saleh

Seitenanzahl

131

Auflage

Softcover reprint of the original 1st edition 2015

Einbandart

Taschenbuch

Schlagwörter

formal code specification, service oriented architecture, software specification and verification, web service, formal data contract, design by contract, Dafny, resolve, Spec#, java modeling language, data-centric applications

Thema-Inhalt

UMC - Compiler und Übersetzer UX - Angewandte Informatik

Höhe

235 mm

Breite

15.5 cm

Auf gebrauchten Artikeln oder Originalverpackungen sichtbare Umwelt-, Nachhaltigkeits- oder Zertifizierungsangaben stammen aus der ursprünglichen Herstellerkennzeichnung. Sie stellen keine eigene aktuelle Umwelt- oder Nachhaltigkeitsaussage von rebuy dar. Maßgeblich für das Angebot sind ausschließlich die von rebuy in der Artikelbeschreibung angegebenen Produkteigenschaften.

Transparenz & Sicherheit

Hersteller: Springer, Europaplatz 3, Heidelberg, Deutschland, 69115, ProductSafety@springernature.com, Springer Nature Customer Service Center GmbH

Warnhinweise und Sicherheitsinformationen

Informationen nach EU Data Act

Bewertungen

-.-

Leider noch keine Bewertungen

Sicher bei rebuy kaufen

Sehr gut, 4.57/5.00

Aus 200.000+ Bewertungen

Schreib die erste Bewertung für dieses Produkt!

Wenn du eine Bewertung für dieses Produkt schreibst, hilfst du allen Kund:innen, die noch überlegen, ob sie das Produkt kaufen wollen. Vielen Dank, dass du mitmachst!

Sicher bei rebuy kaufen

Sehr gut, 4.57/5.00

Aus 200.000+ Bewertungen

Formalizing Data-Centric Web Services

Iman Saleh (Taschenbuch, Englisch)

Weitere Ausgaben

Optischer Zustand

Produktinformationen

Technische Daten

Transparenz & Sicherheit

Bewertungen

Informationen zu den Zuständen

5 € Willkommensgutschein sichern!