Web Services and Formal Methods, Fachbücher von Roberto Bruni, Karsten Wolf
Das Buch "Web Services and Formal Methods" stellt die überarbeiteten Tagungsberichte des 5. Internationalen Workshops zu Web ... Mehr erfahren
Finde die besten Angebote
Bester Preis26 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Das Buch "Web Services and Formal Methods" stellt die überarbeiteten Tagungsberichte des 5. Internationalen Workshops zu Web Services und formalen Methoden dar, der im September 2008 in Mailand, Italien, stattfand. Diese Sammlung umfasst 13 sorgfältig ausgewählte und begutachtete Beiträge sowie ein eingeladenes Papier, die aus insgesamt 39 eingereichten Arbeiten hervorgegangen sind. Die behandelten Themen sind vielfältig und reichen von Analyse, Test und Verifikation über Choreographien und Prozesskalküle bis hin zu Transaktionen und Interoperabilität. Darüber hinaus werden auch Aspekte von Workflows und Petrinetzen behandelt. Dieses Fachbuch richtet sich an Wissenschaftler und Praktiker, die sich mit den Herausforderungen und Entwicklungen im Bereich der Web Services und formalen Methoden auseinandersetzen.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer