Catalog

Record Details

Catalog Search


Search Results Showing Item 2 of 5

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 resources

Record details

  • ISBN: 9783540336914
  • Physical Description: electronic
    electronic resource
    access
    remote
    IX, 175 p. Also available online. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
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 2 of 5

Additional Resources