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 (ed.); Chun Ouyang (ed.)
Springer (2014)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

40,00 €

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)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

40,00 €

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)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

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

Emilio Tuosto (ed.), Chun Ouyang (ed.)

40,00 €

Springer
Sivumäärä: 189 sivua
Asu: Pehmeäkantinen kirja
Painos: 2014
Julkaisuvuosi: 2014, 25.07.2014 (lisätietoa)
Kieli: Englanti

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