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.)
- Författare
- France) (2004 CASSIS (Conference) Marseille
- Språk
- Okänt
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Springer | uuuu-uuuu | Utgivningsland okänt / Ej specificerat |