LEADER 01731nlm0 22004811i 450 001 990009236340403321 010 $a9783540305699 035 $a000923634 035 $aFED01000923634 035 $a(Aleph)000923634FED01 035 $a000923634 100 $a20100926d2005----km-y0itay50------ba 101 0 $aeng 102 $aDE 135 $adrnn-008mamaa 200 1 $aConstruction and Analysis of Safe, Secure, and Interoperable Smart Devices$bRisorsa elettronica$eInternational Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers$fedited by Gilles Barthe, Lilian Burdy, Mar 210 $aBerlin ; Heidelberg$cSpringer$d2005 225 1 $aLecture Notes in Computer Science$x0302-9743$v3362 230 $aDocumento elettronico 336 $aTesto 337 $aFormato html, pdf 702 1$aBarthe,$bGilles 702 1$aBurdy,$bLilian 702 1$aHuisman,$bMarieke 702 1$aLanet,$bJean-Louis 702 1$aMuntean,$bTraian 801 0$aIT$bUNINA$gREICAT$2UNIMARC 856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/b105030 901 $aEB 912 $a990009236340403321 961 $aComputer science 961 $aComputer Science 961 $aLogic design 961 $aLogics and Meanings of Programs 961 $aOperating Systems 961 $aOperating systems (Computers) 961 $aProgramming Languages, Compilers, Interpreters 961 $aProgramming Techniques 961 $aSoftware engineering 961 $aSoftware Engineering 961 $aSpecial Purpose and Application-Based Systems 996 $aConstruction and Analysis of Safe, Secure, and Interoperable Smart Devices$9772225 997 $aUNINA