Książka Trustworthy Global Computing Roberto Bruni

Trustworthy Global Computing

6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers

Język: Angielski
Oprawa: Miękka
Wydawca: Springer, Berlin
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
212.42
This book constitutes the refereed proceedings of the 6th International Symposium on Trustworthy Glo...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2012
strony
243
EAN
9783642300646
ISBN
3642300642
Enbook ID
01661123
Waga
364
Wymiary
155 x 235 x 13

Pełny opis

This book constitutes the refereed proceedings of the 6th International Symposium on Trustworthy Global Computing, TGC 2011, held in Aachen, Germany, in June 2011. The 14 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers are organized in topical sections on modeling formalisms for concurrent systems; model checking and quantitative extensions thereof; semantics and analysis of modern programming languages; probabilistic models for concurrency; and testing and run-time verification.

Możesz być zainteresowany

567.87

Brothers in Arms

Andrew C. Mertha
215.64
274.93
61.03
423.49

Spooky Sudbury

Mark Leslie
28.22

Nashville Cats

Travis D. Stimeling
172.31

Klienci, którzy kupili tę książkę, kupili również

Die Kleine Meerjungfrau

Hans Christian Andersen
42.44

FADES

SABATE MARIN
81.19
55.77
114.48
103.19
55.58