Barthe, Gilles.

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956) Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers [Recurso electrónico] / edited by Gilles Barthe, Benj - Berlin Heidelberg : Springer-Verlag GmbH., 2006 - v.: digital - Lecture Notes in Computer Science, 3956 0302-9743 ; .

Restringido a usuarios de la UCA


Modo de acceso: World Wide Web

9783540336914


Computer science
Computer science
Logic design
Operating systems (Computers)
Software engineering
Software engineering
Computer Science
Logics and Meanings of Programs
Operating Systems
Programming Languages, Compilers, Interpreters
Programming Techniques
Software Engineering
Special Purpose and Application-Based Systems

Powered by Koha