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

形式化方法导引

A Guide to Formal Methods

2023年春季学期 西区

March 2023

周次
日
一
二
三
四
五
六
26
27
28
1
2
3
4
第 1 周
5
6
7
8
9
10
1
上课事件

3/10/2023 · 15:55-18:20 · 3C202

第 1 周 · 节次 8-10

11
第 2 周
12
13
14
15
16
17
1
上课事件

3/17/2023 · 15:55-18:20 · 3C202

第 2 周 · 节次 8-10

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

3/24/2023 · 15:55-18:20 · 3C202

第 3 周 · 节次 8-10

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

3/31/2023 · 15:55-18:20 · 3C202

第 4 周 · 节次 8-10

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

4/7/2023 · 15:55-18:20 · 3C202

第 5 周 · 节次 8-10

8