Reliable Software Technologies - Ada-Europe 2011
No description available.
Logic designComputer networksComputer scienceSoftware engineeringAda (computer program language)Computer software, reliabilityMathematical Logic and Formal LanguagesProgramming TechniquesComputer Communication NetworksLogics and Meanings of ProgramsProgramming Languages, Compilers, Interpreters