Construction and Analysis of Safe, Secure, and Interoperable Smart Devices [Risorsa elettronica] : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers / edited by Gilles Barthe, Benjamin Grégoir |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2006 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540336914 |
Formato | Risorse elettroniche ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009249550403321 |
Berlin ; Heidelberg : Springer, 2006 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices [Risorsa elettronica] : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers / edited by Gilles Barthe, Lilian Burdy, Mar |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2005 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540305699 |
Formato | Risorse elettroniche ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009236340403321 |
Berlin ; Heidelberg : Springer, 2005 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|