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