跳转到主要内容
Life@USTC
形式化方法(EIEN7002P.01) - Life@USTC
首页
班级
EIEN7002P.01
形式化方法
Formal Methods
日历
作业 (0)
评论 (0)
2024.11
周次
星期日
星期一
星期二
星期三
星期四
星期五
星期六
第 9 周
27
28
29
30
31
1
2
第 10 周
3
4
5
6
7
8
9
第 11 周
10
11
12
13
14
15
14:00-17:30: 上课
16
08:40-12:10: 上课
第 12 周
17
18
19
20
21
22
14:00-16:40: 上课
23
09:45-12:10: 上课
第 13 周
24
25
26
27
28
29
30
第 14 周
1
2
3
4
5
6
14:00-16:40: 上课
7
09:45-12:10: 上课
×
学分
3
学时
60 (50)
考试方式
笔试（闭卷）
教师
华保健
(软件学院苏州)
更多信息 ↓
查看全部班级 (10) ->
2024.11
日
一
二
三
四
五
六
27
28
29
30
31
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
1
2
3
4
5
6
7
查看已选课班级
简介
登录后编辑
暂无简介，欢迎补充。
编辑记录 (0)
登录后创建
编辑记录
暂无作业
你的评论将在 这个班级 下可见
需要修改？
编辑
预览
Markdown 指南
实时预览将在这里显示。
匿名
仅登录用户可见
上传文件
登录后评论
暂无评论