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

形式化方法

Formal Methods

2026年春季学期 苏研院 122 / 120

March 2026

周次
日
一
二
三
四
五
六
第 1 周
1
2
3
1
上课事件

3/3/2026 · 14:00-17:30 · 明德楼202

第 1 周 · 节次 0-0

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

3/10/2026 · 14:00-17:30 · 明德楼202

第 2 周 · 节次 0-0

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

3/17/2026 · 14:00-17:30 · 明德楼202

第 3 周 · 节次 0-0

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

3/24/2026 · 14:00-17:30 · 明德楼202

第 4 周 · 节次 0-0

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

3/31/2026 · 14:00-17:30 · 明德楼202

第 5 周 · 节次 0-0

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

4/7/2026 · 14:00-17:30 · 明德楼202

第 6 周 · 节次 0-0

8
9
10
11