Construction and analysis of safe, secure, and interoperable smart devices : international workshop, CASSIS 2004, Marseille, France, March 10-14, 2004 : revised selected papers /

Bibliographic Details
Corporate Authors: CASSIS (Conference), SpringerLink (Online service)
Other Authors: Barthe, Gilles, 1967-
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [2005]
Series:Hot topics (Berlin, Germany)
Lecture notes in computer science. 3362.
Subjects:
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: TK7895.S62 C377 2004eb
 
Call Number Status Get It
TK7895.S62 C377 2004eb Available