Catalog

Record Details

Catalog Search


Search Results Showing Item 6 of 7

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

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: electronic
    electronic resource
    access
    remote
    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
Search Results Showing Item 6 of 7

Additional Resources