授课班级 CS4005.03
形式化方法导引
A Guide to Formal Methods
2026年春季学期 高新区 69 / 132
- 班级代码
- CS4005.03
- 学期
- 2026年春季学期
- 学分
- 3
- 学时
- 80 / 39
- 考试方式
- 大作业（论文、报告、项目或作品等）
- 备注
- 暂无
- 授课语言
- 中文
- 教室类型
- 暂无
- 本研贯通
- 否
- 周学时
- 1 x 3
- 理论学时
- 40
- 实验学时
- 40
- 开课院系
- 计算机科学与技术系
23王小谟网络空间科技英才班T23信息安全*23计算机科学与技术*23网络空间安全*22量子信息科学*
查看全部班级