Life@USTC
登录
授课班级 EIEN7002P.01

形式化方法

Formal Methods

2021年秋季学期 苏研院

September 2021

周次
日
一
二
三
四
五
六
29
30
31
1
2
3
4
第 1 周
5
6
7
8
9
10
11
第 2 周
12
13
14
15
16
17
1
上课事件

9/17/2021 · 14:00-16:55 · 敏102

第 2 周 · 节次 6-8

18
第 3 周
19
20
21
22
23
24
1
上课事件

9/24/2021 · 14:00-16:55 · 敏102

第 3 周 · 节次 6-8

25
第 4 周
26
27
28
29
30
1
1
上课事件

10/1/2021 · 14:00-16:55 · 敏102

第 4 周 · 节次 6-8

2
第 5 周
3
4
5
6
7
8
1
上课事件

10/8/2021 · 14:00-16:55 · 敏102

第 5 周 · 节次 6-8

9