Mathematics of Program Construction

Mathematics of Program Construction
Details
- OL Work ID
- OL19886473W
Subjects
Mathematical Logic and Formal LanguagesLogic designComputational complexityDiscrete Mathematics in Computer ScienceSoftware engineeringMath Applications in Computer ScienceLogics and Meanings of ProgramsComputer scienceProgramming Languages, Compilers, Interpreters