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