Barthe, Gilles.
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers / [electronic resource] : edited by Gilles Barthe, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - digital. - Lecture Notes in Computer Science, 3956 0302-9743 ; . - Lecture Notes in Computer Science, 3956 .
9783540336914
10.1007/11741060 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 Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers / [electronic resource] : edited by Gilles Barthe, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - digital. - Lecture Notes in Computer Science, 3956 0302-9743 ; . - Lecture Notes in Computer Science, 3956 .
9783540336914
10.1007/11741060 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