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

形式化方法

Formal Methods

2024年秋季学期 高新区

November 2024

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

11/15/2024 · 14:00-17:30 · G3-113

第 11 周 · 节次 6-9

16
1
上课事件

11/16/2024 · 08:40-12:10 · G3-110

第 11 周 · 节次 2-5

第 12 周
17
18
19
20
21
22
1
上课事件

11/22/2024 · 14:00-16:40 · G3-113

第 12 周 · 节次 6-8

23
1
上课事件

11/23/2024 · 09:45-12:10 · GT-B212

第 12 周 · 节次 3-5

第 13 周
24
25
26
27
28
29
30
第 14 周
1
2
3
4
5
6
1
上课事件

12/6/2024 · 14:00-16:40 · G3-113

第 14 周 · 节次 6-8

7
1
上课事件

12/7/2024 · 09:45-12:10 · GT-B212

第 14 周 · 节次 3-5