Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004 : Revised Selected Papers (Lecture notes in computer science, 0302-9743 3362)
- Författare
- Gilles Barthe
- Genre
- Electronic books
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Berlin Heidelberg | 2005 | Utgivningsland okänt / Ej specificerat |