程序设计语言的形式语义(Formal Semantics of Programming Languages)

学期:2020-2021学年第一学期

时间:周四1-2节,8:00am - 9:50am

地点:仙II-310

QQ群:917572937(进群请实名)

授课老师:梁红瑾,计算机系楼404室

助教:范伟杰,计算机系楼409室


期末考试时间:2020年12月31日周四1-2节,8:00am - 9:50am,地点:仙II-310,闭卷


Lecture Notes


Assignments

Submission guidelines:

Textbooks and References


最后更新日期:2020-12-23