Catalog

Record Details

Catalog Search


Architecting Dependable Systems VII Cover Image E-book E-book

Architecting Dependable Systems VII [electronic resource] / edited by Antonio Casimiro, Rogério Lemos, Cristina Gacek.

Casimiro, Antonio. (editor.). Lemos, Rogério. (editor.). Gacek, Cristina. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783642172458
  • Physical Description: XII, 324p. 101 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Search for related items by subject

Subject: Computer science.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Models and Principles.

Search for related items by series

Electronic resources

Texto completo


Additional Resources