Trustworthy Global Computing

Name: Trustworthy Global Computing
Brand: Springer, Berlin
SKU: 9783642156397
Price: 291.91 RON
Availability: InStock

5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Autor: Martin Wirsing, Martin Hofmann, Axel Rauschmayer

Limbă:

Legare: Carte broșată

Editura: Springer, Berlin

Disponibilitate: șansă 50%

Şanse de a obține acest titlu

291.91 lei

This book constitutes the refereed proceedings of the 5th International Symposium on Trustworthly Gl...

Informații despre carte

Autor

Martin Wirsing, Martin Hofmann, Axel Rauschmayer

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2010

Pagini

380

EAN

9783642156397

ISBN

3642156398

Enbook ID

01656598

Editura

Springer, Berlin

Greutate

590

Dimensiuni

155 x 236 x 23

Descriere completă

This book constitutes the refereed proceedings of the 5th International Symposium on Trustworthly Global Computing, TGC 2010, held in Munich, Germany, in February 2010.§The 17 revised full papers presented and the 7 invited papers were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections on types and processes; games and concurrent systems; certification of correctness; tools and languages; and probabilistic aspects.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Trustworthy Global Computing

5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și