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

形式化方法

Formal Methods

2022年秋季学期 高新区

November 2022

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

11/14/2022 · 14:00-17:30 · GT-C101

第 12 周 · 节次 6-9

15
1
上课事件

11/15/2022 · 07:50-11:20 · GH-206

第 12 周 · 节次 1-4

16
17
18
19
第 13 周
20
21
1
上课事件

11/21/2022 · 14:00-17:30 · GT-C101

第 13 周 · 节次 6-9

22
1
上课事件

11/22/2022 · 07:50-11:20 · GH-206

第 13 周 · 节次 1-4

23
24
25
26
第 14 周
27
28
1
上课事件

11/28/2022 · 14:00-17:30 · GT-C101

第 14 周 · 节次 6-9

29
1
上课事件

11/29/2022 · 07:50-11:20 · GH-206

第 14 周 · 节次 1-4

30
1
2
3
第 15 周
4
5
1
上课事件

12/5/2022 · 14:00-17:30 · GT-C101

第 15 周 · 节次 6-9

6
1
上课事件

12/6/2022 · 07:50-11:20 · GH-206

第 15 周 · 节次 1-4

7
8
9
10