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 Info | Berlin ; New York : Springer, ©2005. |
| Description | vi, 256 pages : illustrations ; 24 cm. |
| Supplemental Content | Restricted to Springer LINK subscribers |
| Subjects |
| Portion of title | CASSIS 2004 |
| Series | Lecture notes in computer science ; 3362 Hot topics Lecture notes in computer science 3362. ^A466336 Hot topics (Berlin, Germany) ^A521324 |
| Bibliography note | Includes bibliographical references and index. |
| Other forms | Also issued online. |
| LCCN | 2004117384 |
| ISBN | 3540242872 |
| SICI | 9783540242871 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | TK7895.S62 C38 2004 | ✔ Available | Place Hold |