Construction and analysis of safe, secure, and interoperable smart devices : second international workshop, CASSIS 2005, Nice, France, March 8-11, 2005 : revised selected papers
Gilles Barthe ... [et al.] (eds.)
Bok Engelsk 2006 CASSIS 2005
| Utgitt | Berlin : Springer , c2006
|
|---|---|
| Omfang | VI, 173 s. : ill.
|
| Emner | |
| ISBN | 3540336893. - 9783540336891
|
