Trustworthy Global Computing

Name: Trustworthy Global Computing
Brand: Springer, Berlin
SKU: 9783540300076
Price: 1311 CZK
Availability: InStock

International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers

Autor: Rocco De Nicola, Davide Sangiorgi

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer, Berlin

Dostupnost: Skladem u dodavatele v malém množství

Odesíláme za 13-18 dnů

1 311 Kč

This book constitutes the thoroughly refereed post-proceedings of the International Symposium on Tru...

Informace o knize

Autor

Rocco De Nicola, Davide Sangiorgi

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2005

Stránek

371

EAN

9783540300076

ISBN

3540300074

Enbook ID

01561386

Vydavatel

Springer, Berlin

Hmotnost

596

Rozměry

155 x 232 x 20

Kompletní popis

This book constitutes the thoroughly refereed post-proceedings of the International Symposium on Trustworthy Global Computing, TGC 2005, held in Edinburgh, UK, in April 2005, and colocated with the events of ETAPS 2005.§The 11 revised full papers presented together with 8 papers contributed by the invited speakers were carefully selected during 2 rounds of reviewing and improvement from numerous submissions. Topical issues covered by the workshop are resource usage, language-based security, theories of trust and authentication, privacy, reliability and business integrity access control and mechanisms for enforcing them, models of interaction and dynamic components management, language concepts and abstraction mechanisms, test generators, symbolic interpreters, type checkers, finite state model checkers, theorem provers, software principles to support debugging and verification.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Trustworthy Global Computing

International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také