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.)
Bok Engelsk 2005 CASSIS 2004
| Utgitt | Berlin : Springer , c2005
|
|---|---|
| Omfang | VI, 256 s. : ill.
|
| Opplysninger | På omslaget: Hot topics
|
| Emner | |
| ISBN | 3540242872
|
