大三上
软件设计

CS264: Software Design

2023/09/01 - 2024/01/18
软件验证

CS357: Software Verification

2023/09/01 - 2024/01/09
计算机网络

CS320: Computer Network

2023/09/01 - 2024/01/16
计算理论 / 计算与复杂性 / 程序语言设计和编译

CS355: Theory of Computation & CS370: Computation and Complexity & CS310: Programme Languages and Compilers

2022/09/01 - 2024/01/05