Catalog

Record Details

Catalog Search



SDL 2007: Design for Dependable Systems [electronic resource] : 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings / edited by Emmanuel Gaudin, Elie Najm, Rick Reed.

Gaudin, Emmanuel. (editor.). Najm, Elie. (editor.). Reed, Rick. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9783540749844
  • Physical Description: XII, 289 p. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
Subject: Computer science.
Computer network architectures.
Software engineering.
Logic design.
Information Systems.
Computer Science.
Computer Systems Organization and Communication Networks.
Software Engineering.
Logics and Meanings of Programs.
Management of Computing and Information Systems.

Additional Resources