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

形式化方法导引

A Guide to Formal Methods

2022年春季学期 西区

February 2022

周次
日
一
二
三
四
五
六
30
31
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
第 1 周
20
21
22
23
24
25
1
上课事件

2/25/2022 · 15:55-18:20 · 3A107

第 1 周 · 节次 8-10

26
第 2 周
27
28
1
2
3
4
1
上课事件

3/4/2022 · 15:55-18:20 · 3A107

第 2 周 · 节次 8-10

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

3/11/2022 · 15:55-18:20 · 3A107

第 3 周 · 节次 8-10

12