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