Construction and analysis of safe, secure, and interoperable smart devices : international workshop, CASSIS 2004, Marseille, France, March 10-14, 2004 : revised selected papers / Gilles Barthe [and others] (eds.).

Author/creator CASSIS (Conference)
Other author Barthe, Gilles, 1967-
Format Electronic
Publication InfoBerlin ; New York : Springer, ©2005.
Descriptionvi, 256 pages : illustrations ; 24 cm.
Supplemental ContentRestricted to Springer LINK subscribers
Subjects

Portion of title CASSIS 2004
SeriesLecture notes in computer science ; 3362
Hot topics
Lecture notes in computer science 3362. ^A466336
Hot topics (Berlin, Germany) ^A521324
Bibliography noteIncludes bibliographical references and index.
Other formsAlso issued online.
LCCN 2004117384
ISBN3540242872
SICI 9783540242871

Availability

Library Location Call Number Status Item Actions
Joyner General Stacks TK7895.S62 C38 2004 ✔ Available Place Hold