Catalog

Record Details

Catalog Search



Construction and Analysis of Safe, Secure, and Interoperable Smart Devices [electronic resource] : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers / edited by Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean.

Barthe, Gilles. (editor.). Burdy, Lilian. (editor.). Huisman, Marieke. (editor.). Lanet, Jean-Louis. (editor.). Muntean, Traian. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9783540305699
  • Physical Description: IX, 258 p. Also available online. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Subject: 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.

Additional Resources