phone 031 22 95 182
LIBRISTO 0
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei
phone Contact phoneCum să cumpăr

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

Limba englezăengleză
Carte Carte broșată
Carte Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Gilles Barthe
Codul Libristo: 01561958
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, aprilie 2006
This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop... Descrierea completă
? points 161 b
324 lei
În depozitul extern în cantități mici Expediem în 14-18 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

Gantz 3 Hiroja Oku / Carte broșată
common.buy 39 lei
Velká kniha českých pranostik Adéla Müllerová / Copertă tare
common.buy 43 lei
Der Fragebogen Ernst von Salomon / Carte broșată
common.buy 74 lei
Hilbert's Programs and Beyond Wilfred Sieg / Copertă tare
common.buy 970 lei
Hanley Through Time Mervyn Edwards / Carte broșată
common.buy 85 lei
Islam in the Political Process James P. Piscatori / Carte broșată
common.buy 242 lei
Nanotechnology for Chemical and Biological Defense Margaret Kosal / Copertă tare
common.buy 549 lei
Henry E. Kyburg, Jr. & Isaac Levi R. Bogdan / Copertă tare
common.buy 629 lei
Sprecherziehung des Schauspielers Egon Aderhold / Carte broșată
common.buy 97 lei
Ehe auf Widerruf? Ulrike Harmat / Copertă tare
common.buy 316 lei
Region Quedlinburg im 9. und 10. Jahrhundert Bernd Sternal / Carte broșată
common.buy 76 lei
Lesen in Bild und Text Nikolaus Henkel / Copertă tare
common.buy 292 lei
Timmendorfer Strand Heiner Herde / Carte broșată
common.buy 98 lei
B1 Lehr- und Arbeitsbuch, m. MP3-Audio-CD und Video-DVD John Soars / Carte broșată
common.buy 200 lei
Chic & Unique Flower Arrangements Julie Collins / Carte broșată
common.buy 112 lei
Molecular Modeling and Prediction of Bioactivity Klaus Gundertofte / Carte broșată
common.buy 513 lei

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.

Informații despre carte

Titlu complet Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Autor Gilles Barthe, Benjamin Gregoire, Marieke Huisman, Jean-Luis Lanet
Limba engleză
Legare Carte - Carte broșată
Data publicării 2006
Număr pagini 173
EAN 9783540336891
ISBN 3540336893
Codul Libristo 01561958
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 620
Dimensiuni 155 x 235 x 17

Categorii

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo