Theoretical Aspects of Computing – ICTAC 2012

Theoretical Aspects of Computing – ICTAC 2012
Details
- OL Work ID
- OL19906479W
Subjects
Mathematical Logic and Formal LanguagesSoftware engineeringInformation theoryLogic designLogics and Meanings of ProgramsComputation by Abstract DevicesComputer scienceProgramming Languages, Compilers, InterpretersTheory of ComputationCongressesComputer networksSecurity measures