Life@USTC

校车
网站

课程
班级
- 形式化方法
教师

线路图
移动应用

授课班级 EIEN7002P.02

形式化方法

Formal Methods

2026年春季学期苏研院 122 / 120

授课班级

班级信息
简介
日历
15
考试
0
作业
0
教师
1
评论
0

班级代码: EIEN7002P.02
学期: 2026年春季学期
学分: 3
学时: 60 / 60
考试方式: 笔试（开卷）
备注: 暂无

更多信息

授课语言: 中文
教室类型: 暂无
本研贯通: 否
周学时: 1 x 4
理论学时: 60
开课院系: 软件学院苏州

其他班级

同教师其他学期

2026年秋季学期 EIEN7002P.01 2025年秋季学期 EIEN7002P.01 2025年春季学期 EIEN7002P.02 2024年秋季学期 EIEN7002P.01 2024年春季学期 EIEN7002P.02 2023年秋季学期 EIEN7002P.01 2023年春季学期 EIEN7002P.02 2022年秋季学期 EIEN7002P.01 2022年春季学期 EIEN7002P.02 2021年秋季学期 EIEN7002P.01

查看全部班级