Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems

Buy Now

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices - Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers (Paperback, 2006 ed.) Loot Price: R1,554

Discovery Miles 15 540

Repayment Terms: R146 pm x 12*

Add to cart

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices - Second International Workshop, CASSIS 2005, Nice,...

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices - Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers (Paperback, 2006 ed.)

Gilles Barthe, Benjamin Gregoire, Marieke Huisman, Jean-Luis Lanet

Series: Security and Cryptology, 3956

(sign in to rate)

Loot Price R1,554 Discovery Miles 15 540 | Repayment Terms: R146 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

This book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Security and Cryptology, 3956
Release date:	April 2006
First published:	2006
Editors:	Gilles Barthe • Benjamin Gregoire • Marieke Huisman • Jean-Luis Lanet
Dimensions:	235 x 155 x 10mm (L x W x T)
Format:	Paperback
Pages:	173
Edition:	2006 ed.
ISBN-13:	978-3-540-33689-1
Categories:	Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Computer hardware & operating systems > Operating systems & graphical user interfaces (GUIs) > General Books > Computing & IT > Computer programming > Programming languages > General Books > Computing & IT > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems Promotions
LSN:	3-540-33689-3
Barcode:	9783540336891