Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers /

Détails bibliographiques
Cote:Libro Electrónico
Collectivité auteur: SpringerLink (Online service)
Autres auteurs: Barthe, Gilles (Éditeur intellectuel), Gregoire, Benjamin (Éditeur intellectuel), Huisman, Marieke (Éditeur intellectuel), Lanet, Jean-Luis (Éditeur intellectuel)
Format: Électronique eBook
Langue:Inglés
Publié: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Édition:1st ed. 2006.
Collection:Security and Cryptology ; 3956
Sujets:
Software engineering.
Computers, Special purpose.
Computer programming.
Compilers (Computer programs).
Operating systems (Computers).
Computer science.
Software Engineering.
Special Purpose and Application-Based Systems.
Programming Techniques.
Compilers and Interpreters.
Operating Systems.
Computer Science Logic and Foundations of Programming.
Accès en ligne:Texto Completo

Internet

Texto Completo

Items no disponibles

Informations d'exemplaires de

Documents similaires