CS4005
形式化方法导引
A Guide to Formal Methods
本科 本科计划内课程 计划内与自由选修 理论实验课
2026年春季学期
黄文超 (Huang Wenchao)
CS4005.03
校区: 高新区 容量: 69 / 132
2025年春季学期
黄文超 (Huang Wenchao), 熊焰 (Xiong Yan)
CS4005.01
校区: 高新区 容量: 0 / 暂无
2024年春季学期
黄文超 (Huang Wenchao), 熊焰 (Xiong Yan)
CS4005.01
校区: 高新区 容量: 0 / 暂无
2023年春季学期
黄文超 (Huang Wenchao), 熊焰 (Xiong Yan)
CS4005.01
校区: 西区 容量: 0 / 暂无
2022年春季学期
黄文超 (Huang Wenchao), 熊焰 (Xiong Yan), 解围 (Jie Wei)
CS4005.01
校区: 西区 容量: 0 / 暂无
2021年春季学期
黄文超 (Huang Wenchao), 熊焰 (Xiong Yan)
CS4005.01
校区: 暂无 容量: 0 / 暂无