Kontakt
Ako nakupovať
Doručenie
Nákupný poradca
Trustworthy Global Computing
International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
Angličtina
135 b
30 dní na vrátenie tovaru
Zákazníci tiež kúpili
/
Pevná
64.11
€
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.
Informácie o knihe
Angličtina
Kategórie
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovanéhoMohlo by vás tiež zaujímať
/
Pevná
158.61
€
Ahoj! Som Libroamiko, tvoj knižný radca.
Ako ti môžem pomôcť?