Barthe, Gilles.
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers / [electronic resource] : edited by Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3362 0302-9743 ; . - Lecture Notes in Computer Science, 3362 .
9783540305699
10.1007/b105030 doi
Computer science.
Software engineering.
Operating systems (Computers).
Logic design.
Computer Science.
Software Engineering.
Special Purpose and Application-Based Systems.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Operating Systems.
Logics and Meanings of Programs.
QA76.758
005.1
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers / [electronic resource] : edited by Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3362 0302-9743 ; . - Lecture Notes in Computer Science, 3362 .
9783540305699
10.1007/b105030 doi
Computer science.
Software engineering.
Operating systems (Computers).
Logic design.
Computer Science.
Software Engineering.
Special Purpose and Application-Based Systems.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Operating Systems.
Logics and Meanings of Programs.
QA76.758
005.1