Web Services and Formal Methods
. Ed(s): Tuosto, Emilio; Chun, Ouyang
ISBN 10: 3319082590 ISBN 13: 9783319082592
Verlag: Springer International Publishing AG, 2014
Neu
Softcover
Verkäufer
Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 4 von 5 Sternen
AbeBooks-Verkäufer seit 9. Oktober 2009
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
Editor(s): Tuosto, Emilio; Chun, Ouyang. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 198 pages, 37 black & white illustrations, biography. BIC Classification: UMX; UMZ; UNH; UYZG; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 314. . 2014. Paperback. . . . . Books ship from the US and Ireland. Bestandsnummer des Verkäufers V9783319082592
Inhaltsangabe:
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Web Services and Formal Methods, WS-FM 2013, held in Beijing, China, in August 2013. The 8 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as control-flow relations using Petri nets, consistency of cloud stores, model checking, model-drives design, analysis of context-aware systems.
Von der hinteren Coverseite: This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Web Services and Formal Methods, WS-FM 2013, held in Beijing, China, in August 2013. The 8 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as control-flow relations using Petri nets, consistency of cloud stores, model checking, model-drives design, analysis of context-aware systems.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Bibliografische Details
Titel: Web Services and Formal Methods
Verlag: Springer International Publishing AG
Erscheinungsdatum: 2014
Einband: Softcover
Zustand: New
Beste Suchergebnisse beim ZVAB
Foto des Verkäufers
Web Services and Formal Methods : 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
ISBN 10: 3319082590
ISBN 13: 9783319082592
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Web Services and Formal Methods, WS-FM 2013, held in Beijing, China, in August 2013. The 8 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as control-flow relations using Petri nets, consistency of cloud stores, model checking, model-drives design, analysis of context-aware systems. Artikel-Nr. 9783319082592
Neu kaufen
EUR 42,80
EUR 61,56 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 2014 edition. 200 pages. 9.25x6.10x1.00 inches. In Stock. Artikel-Nr. x-3319082590
Neu kaufen
EUR 63,26
EUR 11,53 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar