Könyv Trustworthy Global Computing Rocco De Nicola

Trustworthy Global Computing

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

Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten alacsony példányszámban
Küldés 13-18 napon belül
20 672 Ft
This book constitutes the thoroughly refereed post-proceedings of the International Symposium on Tru...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2005
oldal
371
EAN
9783540300076
ISBN
3540300074
Enbook ID
01561386
Súly
596
Méretek
155 x 232 x 20

Teljes leírás

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.

Érdekelheti

61 527 Ft

Hidden School

Dan Millman
8 231 Ft

Identity and Personhood

Laurance Joseph Splitter
19 305 Ft

Mind

John Searle
22 120 Ft

Lytton Strachey

Max Beerbohm
6 411 Ft

Kingdom of Free Men

G. Kitson Clark
16 678 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Gesammelte Schriften

Friedrich Wilhelm Dörpfeld
7 420 Ft

Chiny Wielki Skok w mgłę

Grésillon Gabriel
6 411 Ft
2 331 Ft