LIBRISTO
LIBROAMANTO
obbligatorio
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Corriere Bartolini 4.49 Punto Poste 5.49 Punto Poste 5.49 Punto Bartolini 3.49 Corriere DHL 6.99 Corriere GLS 5.99 Punto GLS 4.49

Spedizione gratuita per ordini superiori a 69,99 euro.

Trustworthy Global Computing

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

Lingua IngleseInglese
Libro In brossura
Libro Trustworthy Global Computing Rocco De Nicola
Codice Libristo: 01561386
Casa editrice Springer, Berlin, novembre 2004
This book constitutes the thoroughly refereed post-proceedings of the International Symposium on Tru... Descrizione completa
? points 141 b
57.79
Magazzino esterno in piccole quantità Inviamo tra 11-15 giorni

Fino a 30 giorni per il reso


I clienti hanno acquistato anche


Transgénicos, oportunidades y amenazas VILLALOBOS / Libro In brossura
common.buy 27.99
Gesammelte Schriften Friedrich Wilhelm Dörpfeld / Libro In brossura
common.buy 20.59
Die Kleine Reihe Bd. 8: Der Duft des Frühlings Götz Gußmann / Libro In brossura
common.buy 7.19
Chiny Wielki Skok w mgłę Grésillon Gabriel / Libro In brossura
common.buy 19.19
Les couleurs primaires (A2) MELISSA VERREAULT / Libro In brossura
common.buy 6.99
Islamismus und Konstitutionalismus Sven Feyer / Libro In brossura
common.buy 30.19
Els meus animals de la música clàssica SEVERINE CORDIER / Libro Leporello
common.buy 11.59
Lage und Leistungen des deutschen Handels Joachim Tiburtius / Libro Rigido
common.buy 39.09

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.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche


Data Analysis and Classification Francesco Palumbo / Libro In brossura
common.buy 171.49
Assassin's Creed Valhalla: Geirmund's Saga Matthew Kirby / Libro In brossura
common.buy 11.09
Hidden School Dan Millman / Libro In brossura
common.buy 23.69
Identity and Personhood Laurance Joseph Splitter / Libro In brossura
common.buy 53.79
Mind John Searle / Libro In brossura
common.buy 62.09
Lytton Strachey Max Beerbohm / Libro In brossura
common.buy 17.99
Life of Alexander Duff, D.D., LL.D 2 Volume Set George Smith / Libro In brossura
common.buy 141.29
Kingdom of Free Men G. Kitson Clark / Libro In brossura
common.buy 46.69
Finite Packing and Covering Boroczky / Libro Rigido
common.buy 185.09

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?