Catalog

Record Details

Catalog Search



Reliable Software Technologies – Ada-Europe 2013 [electronic resource] : 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings / edited by Hubert B. Keller, Erhard Plödereder, Peter Dencker, Herbert Klenk.

Keller, Hubert B. (editor.). Plödereder, Erhard. (editor.). Dencker, Peter. (editor.). Klenk, Herbert. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9783642386015
  • Physical Description: XII, 177 p. 50 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2013.
Subject: Computer science.
Software engineering.
Logic design.
Computer Science.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Special Purpose and Application-Based Systems.
Logics and Meanings of Programs.

Additional Resources