Catalog

Record Details

Catalog Search



Architecting Systems with Trustworthy Components [electronic resource] : International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers / edited by Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski.

Electronic resources

Record details

  • ISBN: 9783540358336
  • Physical Description: X, 299 p. Also available online. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
Subject: Computer science.
Computer Communication Networks.
Software engineering.
Operating systems (Computers).
Logic design.
Computer Science.
Software Engineering.
Computer Communication Networks.
Programming Techniques.
Operating Systems.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.

Additional Resources