Research Catalog
Construction and analysis of safe, secure, and interoperable smart devices : international workshop, CASSIS 2004, Marseille, France, March 10-14, 2004 : revised selected papers
- Title
- 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 ... [et al.] (eds.).
- Author
- CASSIS 2004 (2004 : Marseille, France)
- Publication
- Berlin ; New York : Springer, c2005.
Available Online
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 05-734 | Offsite |
Details
- Additional Authors
- Barthe, Gilles, 1967-
- Description
- vi, 256 p. : ill.; 24 cm.
- Series Statement
- Lecture notes in computer science, 0302-9743 ; 3362
- Hot topics
- Uniform Title
- Hot topics (Berlin, Germany)
- Alternative Title
- CASSIS 2004
- Subjects
- Bibliography (note)
- Includes bibliographical references and index.
- Additional Formats (note)
- Also issued online.
- Call Number
- JSE 05-734
- ISBN
- 3540242872
- LCCN
- 2004117384
- 9783540242871
- OCLC
- 57612881
- Conference
- CASSIS 2004 (2004 : Marseille, France)
- Title
- 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 ... [et al.] (eds.).
- Imprint
- Berlin ; New York : Springer, c2005.
- Series
- Lecture notes in computer science, 0302-9743 ; 3362Hot topicsHot topics (Berlin, Germany)
- Bibliography
- Includes bibliographical references and index.
- Additional Formats
- Also issued online.
- Connect to:
- Added Author
- Barthe, Gilles, 1967-
- Other Standard Identifier
- 9783540242871
- Research Call Number
- JSE 05-734