Spedizione gratuita con Packeta per un prezzo superiore a 79.99 €
BRT 7.99 Punto BRT 7.99 DHL 7.99 HR Parcel 7.49 GLS 3.99

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Lingua IngleseInglese
Libro In brossura
Libro Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Gilles Barthe
Codice Libristo: 01561958
This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop... Descrizione completa
? points 172 b
72.67
Magazzino esterno in piccole quantità Inviamo tra 13-16 giorni

30 giorni per il reso


Potrebbe interessarti anche


Gantz 3 Hiroja Oku / In brossura
common.buy 9.09
Velká kniha českých pranostik Adéla Müllerová / Rigido
common.buy 9.62
Der Fragebogen Ernst von Salomon / In brossura
common.buy 35.53
Hilbert's Programs and Beyond Wilfred Sieg / Rigido
common.buy 208.94
Hanley Through Time Mervyn Edwards / In brossura
common.buy 19.04
Sprecherziehung des Schauspielers Egon Aderhold / In brossura
common.buy 21.83
Henry E. Kyburg, Jr. & Isaac Levi R. Bogdan / Rigido
common.buy 137.11
Region Quedlinburg im 9. und 10. Jahrhundert Bernd Sternal / In brossura
common.buy 17.12
Lesen in Bild und Text Nikolaus Henkel / Rigido
common.buy 65.61
Molecular Modeling and Prediction of Bioactivity Klaus Gundertofte / In brossura
common.buy 123.09
Chic & Unique Flower Arrangements Julie Collins / In brossura
common.buy 25.25
Timmendorfer Strand Heiner Herde / In brossura
common.buy 21.93
Islam in the Political Process James P. Piscatori / In brossura
common.buy 54.47
Ehe auf Widerruf? Ulrike Harmat / Rigido
common.buy 70.64

This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2005, held in Nice, France, in March 2005.§The 9 revised full papers presented were carefully selected during two rounds of reviewing and improvement from about 30 workshop talks. The papers are organized in topical sections on research trends in smart devices, Web services, virtual machine technology, security, validation and formal methods, proof-carrying code, and embedded devices.

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

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