Reliable Software Technologies - Ada-Europe 2014
Reliable Software Technologies - Ada-Europe 2014
Details
- OL Work ID
- OL25689285W
Subjects
Computer software, reliabilityAda (computer program language)Software engineeringComputer scienceLogic designProgramming Languages, Compilers, InterpretersSpecial Purpose and Application-Based SystemsLogics and Meanings of ProgramsMathematical Logic and Formal Languages