Catalog

Record Details

Catalog Search



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

Architecting Dependable Systems VII

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

Record details

  • ISBN: 9783642172458
  • Physical Description: electronic
    electronic resource
    access
    remote
    XII, 324p. 101 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
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

Electronic resources



Additional Resources