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

形式化方法导引

A Guide to Formal Methods

2021年春季学期

March 2021

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

3/12/2021 · 15:55-18:20 · 3A107

第 1 周 · 节次 8-10

13
第 2 周
14
15
16
17
18
19
1
上课事件

3/19/2021 · 15:55-18:20 · 3A107

第 2 周 · 节次 8-10

20
第 3 周
21
22
23
24
25
26
1
上课事件

3/26/2021 · 15:55-18:20 · 3A107

第 3 周 · 节次 8-10

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

4/2/2021 · 15:55-18:20 · 3A107

第 4 周 · 节次 8-10

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

4/9/2021 · 15:55-18:20 · 3A107

第 5 周 · 节次 8-10

10