Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 63,22
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2014 edition. 200 pages. 9.25x6.10x1.00 inches. In Stock.
Sprache: Englisch
Verlag: Springer International Publishing AG, 2014
ISBN 10: 3319082590 ISBN 13: 9783319082592
Anbieter: Kennys Bookstore, Olney, MD, USA
Zustand: New. 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.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2014
ISBN 10: 3319082590 ISBN 13: 9783319082592
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
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.