授课班级 EIEN7002P.02

形式化方法

Formal Methods

2025年春季学期苏研院

授课班级

1~9,13~18周明德楼202 :4(6,7,8,9) 华保健

February 2025

周次

日

一

二

三

四

五

六

26

27

28

29

30

31

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

第 1 周

23

24

25

26

27

1

上课事件

2/27/2025 · 14:00-17:30 · 明德楼202

第 1 周 · 节次 6-9

28

1

第 2 周

2

3

4

5

6

1

上课事件

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

第 2 周 · 节次 6-9

7

8