程序设计语言的形式语义

课程编号:081200D20(本科:22011510)

课程教师:梁红瑾

课程主页:https://cs.nju.edu.cn/hongjin/teaching/semantics/

总体评价:数理逻辑2.0