- 5 Ergebnisse
Kleinster Preis: € 34,56, größter Preis: € 42,99, Mittelwert: € 37,37
1
Web Services and Formal Methods - Chun Ouyang, Emilio Tuosto
Bestellen
bei kobo.com
$ 44,99
(ca. € 38,88)
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Chun Ouyang, Emilio Tuosto:

Web Services and Formal Methods - neues Buch

2006, ISBN: 9783319082608

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 Augus… Mehr…

  - E-Book zum download. Versandkosten: EUR 0.00
zuklappen (X)
2
Web Services and Formal Methods - Emilio Tuosto; Chun Ouyang
Bestellen
bei Springer.com
$ 39,99
(ca. € 34,56)
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Emilio Tuosto; Chun Ouyang:

Web Services and Formal Methods - neues Buch

ISBN: 9783319082608

Computer Science; Information Systems Applications (incl. Internet); Software Engineering; Management of Computing and Information Systems; Logics and Meanings of Programs; Programming La… Mehr…

  - Versandkosten: EUR 0.00
zuklappen (X)
3
Web Services and Formal Methods als eBook Download von
Bestellen
bei Hugendubel.de
€ 35,49
Bestellen
Details und Versand
gesponserter Link
Web Services and Formal Methods als eBook Download von - neues Buch

2013

ISBN: 9783319082608

Web Services and Formal Methods:10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers Web Services and Formal Methods:10th International Workshop, … Mehr…

  - No. 25040274 Versandkosten:zzgl. Versandkosten
zuklappen (X)
4
Web Services and Formal Methods : 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers - Hartmut Haug
Bestellen
bei hive.co.uk
£ 31,45
(ca. € 34,92)
Bestellen
Details und Versand
gesponserter Link
Hartmut Haug:
Web Services and Formal Methods : 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers - neues Buch

2013, ISBN: 9783319082608

; PDF; Computing > Computer programming / software development > Programming & scripting languages: general, Springer Berlin Heidelberg

  - No. 9783319082608. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.
zuklappen (X)
5
Web Services and Formal Methods
Bestellen
bei eBook.de
€ 42,99
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Web Services and Formal Methods - neues Buch

2013, ISBN: 9783319082608

Web Services and Formal Methods - 10th International Workshop WS-FM 2013 Beijing China August 2013 Revised Selected Papers: ab 42.99 € eBooks > Sachthemen & Ratgeber > Computer & Internet… Mehr…

Versandkosten:in stock, , , DE. (EUR 0.00)
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Web Services and Formal Methods
Autor:
Titel:
ISBN-Nummer:

9783319082608

Detailangaben zum Buch - Web Services and Formal Methods


EAN (ISBN-13): 9783319082608
Erscheinungsjahr: 2013
Herausgeber: Instock

Buch in der Datenbank seit 2017-04-16T19:05:42+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-02-22T18:55:21+01:00 (Berlin)
ISBN/EAN: 9783319082608

ISBN - alternative Schreibweisen:
978-3-319-08260-8
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: ouyang, haug hartmut
Titel des Buches: china beijing, beijing von

Daten vom Verlag:

Autor/in: Emilio Tuosto; Chun Ouyang
Titel: Lecture Notes in Computer Science; Programming and Software Engineering; Web Services and Formal Methods - 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
Verlag: Springer; Springer International Publishing
189 Seiten
Erscheinungsjahr: 2014-06-24
Cham; CH
Sprache: Englisch
42,79 € (DE)
44,00 € (AT)
47,50 CHF (CH)
Available
IX, 189 p. 37 illus.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Anwendungs-Software; Angewandte Informatik; Verstehen; BPEL; Web service; Web services; cloud based storage; cloud computing; cloud computing; constraint satisfaction; contextual design; formal methods; formal methods; higher-order logic; model checking; model checking; modeling; petri nets; petri nets; C; Computer and Information Systems Applications; Software Engineering; IT Operations; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; User Interfaces and Human Computer Interaction; Computer Science; Software Engineering; Wirtschaftsmathematik und -informatik, IT-Management; Theoretische Informatik; Compiler und Übersetzer; Mensch-Computer-Interaktion; BC

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.
Includes supplementary material: sn.pub/extras
< zum Archiv...