Catalog

Record Details

Catalog Search



Reliable Software Technologies - Ada-Europe 2011 [electronic resource] : 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings / edited by Alexander Romanovsky, Tullio Vardanega.

Electronic resources

Record details

  • ISBN: 9783642213380
  • Physical Description: XIII, 227p. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
Subject: Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Computer Science.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Logics and Meanings of Programs.
Computer Communication Networks.
Programming Techniques.
Mathematical Logic and Formal Languages.

Additional Resources