Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956) Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers /
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956) Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers / [electronic resource] :
edited by Gilles Barthe ... [et al.].
- Berlin Heidelberg : Springer-Verlag GmbH., 2006
- vi, 173 p. : ill., digital ; 24 cm.
- Lecture Notes in Computer Science, 3956 0302-9743 ; .
9783540336914 (electronic bk.)
Computer storage devices--Congresses.
Computer security--congresses.
Computer Science.
Logics and Meanings of Programs.
Operating Systems.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Software Engineering.
Special Purpose and Application-Based Systems.
TK7895.S62 / C37 2005
332.7
9783540336914 (electronic bk.)
Computer storage devices--Congresses.
Computer security--congresses.
Computer Science.
Logics and Meanings of Programs.
Operating Systems.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Software Engineering.
Special Purpose and Application-Based Systems.
TK7895.S62 / C37 2005
332.7