授课班级 CS4005.01

形式化方法导引

A Guide to Formal Methods

2025年春季学期高新区

授课班级

1~5,7~9周 GH-407 :5(8,9,10) 黄文超 11~14周 GH-407 :5(8,9,10) 熊焰 10周 GH-407 :7(8,9,10) 黄文超

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

28

1

上课事件

2/28/2025 · 15:55-18:20 · GH-407

第 1 周 · 节次 8-10

1

第 2 周

2

3

4

5

6

7

1

上课事件

3/7/2025 · 15:55-18:20 · GH-407

第 2 周 · 节次 8-10

8