Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 11.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Trustworthy Global Computing

Name: Trustworthy Global Computing
Brand: Springer, Berlin
SKU: 01561386
Price: 58.46 EUR
Availability: InStock
Author: Rocco De Nicola
ISBN: 9783540300076

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

Rocco De Nicola

Davide Sangiorgi

Language

English

Book Paperback

Libristo code: 01561386

Publishers Springer, Berlin, November 2004

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

Libristo code: 01561386

141 b

58.46 €

Low in stock at our supplier Shipping in 13-18 days

30-day return policy

Customers also purchased

Transgénicos, oportunidades y amenazas VILLALOBOS

Paperback

28.31 €

Gesammelte Schriften Friedrich Wilhelm Dörpfeld

Paperback

19.72 €

Die Kleine Reihe Bd. 8: Der Duft des Frühlings Götz Gußmann

Paperback

6.97 €

Chiny Wielki Skok w mgłę Grésillon Gabriel

Paperback

18.60 €

Les couleurs primaires (A2) MELISSA VERREAULT

Paperback

6.77 €

Islamismus und Konstitutionalismus Sven Feyer

Paperback

28.92 €

Pokémon: Mein ultimativer Spiel- und Malspaß

Paperback

5.65 €

Selbstbiographie - Verdeutschter Bethlehemitischer Kinder-Mord - Gelegenheitsgedichte - Aufsätze Barthold Heinrich Brockes

Hardback

64.22 €

Els meus animals de la música clàssica SEVERINE CORDIER

Board book

11.72 €

Thema: Ethik - Materialband II Theologische Ethik Peter Kliemann

Sheet

34.99 €

Lage und Leistungen des deutschen Handels Joachim Tiburtius

Hardback

37.72 €

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.