Catalog

Record Details

Catalog Search



Assurances for Self-Adaptive Systems [electronic resource] : Principles, Models, and Techniques / edited by Javier Cámara, Rogério Lemos, Carlo Ghezzi, Antónia Lopes.

Cámara, Javier. (editor.). Lemos, Rogério. (editor.). Ghezzi, Carlo. (editor.). Lopes, Antónia. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9783642362491
  • Physical Description: X, 341 p. 94 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2013.
Subject: Computer science.
Computer Communication Networks.
Software engineering.
Operating systems (Computers).
Logic design.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Computer Communication Networks.
Operating Systems.

Additional Resources