• usp_easy_retunsFree & Easy Returns
  • usp_best_dealsBest Deals

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

265.00
Inclusive of VAT
nudge icon
Free Delivery
nudge icon
Free Delivery
noon-marketplace
Get it by 1 - 4 July
Order in 13 h 59 m
VIP ENBD Credit Card

Delivery 
by noon
Delivery by noon
High Rated
Seller
High Rated Seller
Cash on 
Delivery
Cash on Delivery
Secure
Transaction
Secure Transaction
Product Overview
Specifications
PublisherSpringer
ISBN 139783540336891
ISBN 103540336893
AuthorGilles Barthe
LanguageEnglish
Book DescriptionThis 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.
Publication Date18 April 2006
Number of Pages192 pages
Cart Total  265.00

We're Always Here To Help

Reach out to us through any of these support channels

Shop On The Go

App StoreGoogle PlayHuawei App Gallery

Connect With Us

mastercardvisatabbytamaraamexcod