[email protected]
LIBRISTO 0
Austrian Post 5.99 € DPD courier 6.49 € GLS courier 4.49 €
phone Contact phoneHow to shop

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

Language EnglishEnglish
Book Paperback
Book Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Gilles Barthe
Libristo code: 01561958
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, April 2006
This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop... Full description
? points 161 b
68.07 € včetně DPH
Low in stock at our supplier Shipping in 13-16 days
Austria Delivery to Austria

30-day return policy

You might also be interested in

Gantz 3 Hiroja Oku / Paperback
common.buy 8.45 €
Velká kniha českých pranostik Adéla Müllerová / Hardback
common.buy 9.09 €
Der Fragebogen Ernst von Salomon / Paperback
common.buy 17.13 €
Hilbert's Programs and Beyond Wilfred Sieg / Hardback
common.buy 195.66 €
Sprecherziehung des Schauspielers Egon Aderhold / Paperback
common.buy 21.30 €
Nanotechnology for Chemical and Biological Defense Margaret Kosal / Hardback
common.buy 125.98 €
Henry E. Kyburg, Jr. & Isaac Levi R. Bogdan / Hardback
common.buy 128.44 €
Hanley Through Time Mervyn Edwards / Paperback
common.buy 17.87 €
Region Quedlinburg im 9. und 10. Jahrhundert Bernd Sternal / Paperback
common.buy 9.53 €
Lesen in Bild und Text Nikolaus Henkel / Hardback
common.buy 53.47 €
Molecular Modeling and Prediction of Bioactivity Klaus Gundertofte / Paperback
common.buy 115.27 €
Chic & Unique Flower Arrangements Julie Collins / Paperback
common.buy 23.65 €
Timmendorfer Strand Heiner Herde / Paperback
common.buy 21.40 €
Islam in the Political Process James P. Piscatori / Paperback
common.buy 51.05 €
Ehe auf Widerruf? Ulrike Harmat / Hardback
common.buy 63.16 €
B1 Lehr- und Arbeitsbuch, m. MP3-Audio-CD und Video-DVD John Soars / Paperback
common.buy 37.47 €

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.

About the book

Full name Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Author Gilles Barthe, Benjamin Gregoire, Marieke Huisman, Jean-Luis Lanet
Language English
Binding Book - Paperback
Date of issue 2006
Number of pages 173
EAN 9783540336891
ISBN 3540336893
Libristo code 01561958
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 620
Dimensions 155 x 235 x 17

Categories

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
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account