Emilio Tuosto | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 3 tuotetta
Haluatko tarkentaa hakukriteerejä?

WEB SERVICES AND FORMAL METHODS - 10TH INTERNATIONAL WORKSHOP, WS-FM 2013, BEIJING, CHINA, AUGUST 2013, REVISED SELECTED PAPERS

Emilio Tuosto; Chun Ouyang
Springer International Publishing AG (2014)
Pehmeäkantinen kirja

41,40 €

TRUSTWORTHY GLOBAL COMPUTING - 9TH INTERNATIONAL SYMPOSIUM, TGC 2014, ROME, ITALY, SEPTEMBER 5-6, 2014. REVISED SELECTED PAPERS

Matteo Maffei; Emilio Tuosto
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2015)
Pehmeäkantinen kirja

41,40 €

COORDINATION MODELS AND LANGUAGES - 21ST IFIP WG 6.1 INTERNATIONAL CONFERENCE, COORDINATION 2019, HELD AS PART OF THE 14TH INTER

Hanne Riis Nielson; Emilio Tuosto
Springer Nature Switzerland AG (2019)
Pehmeäkantinen kirja

51,40 €

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

Emilio Tuosto, Chun Ouyang

41,40 €

Springer International Publishing AG
Sivumäärä: 189 sivua
Asu: Pehmeäkantinen kirja
Painos: 2014 ed.
Julkaisuvuosi: 2014, 25.07.2014 (lisätietoa)
Kieli: Englanti
Tuotesarja: Programming and Software Engineering

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.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa

Myymäläsaatavuus