Catalog

Record Details

Catalog Search



Engineering Theories of Software Intensive Systems [electronic resource] : Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004 / edited by Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare.

Broy, Manfred. (editor.). Grünbauer, Johannes. (editor.). Harel, David. (editor.). Hoare, Tony. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9781402035326
  • Physical Description: X, 404 p. online resource.
  • Publisher: Dordrecht : Springer Netherlands, 2005.
Subject: Computer science.
Software engineering.
Information theory.
Computer Science.
Software Engineering.
Models and Principles.
Theory of Computation.
Programming Techniques.
Programming Languages, Compilers, Interpreters.

Additional Resources