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 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Trustworthy Global Computing

Name: Trustworthy Global Computing
Brand: Springer, Berlin
SKU: 01561386
Price: 58.54 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.54 €

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

Up to 30 days for returns

Customers also purchased

Pokémon: Mein ultimativer Spiel- und Malspaß

Paperback

5.66 €

Lage und Leistungen des deutschen Handels Joachim Tiburtius

Hardback

53.38 €

Im Gewohnten Geleis V1-2: Roman (1901) Ossip Schubin

Paperback

32.61 €

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

Paperback

6.78 €

Stark und guat

Audio CD

17.72 €

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

Board book

11.74 €

Islamismus und Konstitutionalismus Sven Feyer

Paperback

30.38 €

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

Hardback

64.12 €

Thema: Ethik - Materialband II Theologische Ethik Peter Kliemann

Sheet

35.04 €

Black Ark In Dub/Black Ark Vol.2 (2CD-Set)

Audio CD

18.93 €

ADA ISABEL SANCHEZ VEGARA

Paperback

13.06 €

Le Bossu: Aventures de Cape et D'Epée Paul Féval

Paperback

8.60 €

Les couleurs primaires (A2) MELISSA VERREAULT

Paperback

6.78 €

Chiny Wielki Skok w mgłę Grésillon Gabriel

Paperback

14.78 €

Softwareentwicklung mit C++ Dieter Duschl

Paperback

56.72 €

Gesammelte Schriften Friedrich Wilhelm Dörpfeld

Paperback

19.74 €

Poesies, Les Medaillons, Petites Orientales, Une Meprise, Au Jour Le Jour Jules Lemaitre

Paperback

24.00 €

Transgénicos, oportunidades y amenazas VILLALOBOS

Paperback

28.25 €

Mondnacht Stanislaw Lem

Paperback

14.48 €

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.