授课班级 CS4005.01

形式化方法导引

A Guide to Formal Methods

2024年春季学期高新区

授课班级

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

周次

日

一

二

三

四

五

六

第 1 周

上课事件

3/1/2024 · 15:55-18:20 · GH-206

第 1 周 · 节次 8-10

第 2 周

上课事件

3/8/2024 · 15:55-18:20 · GH-206

第 2 周 · 节次 8-10

第 3 周

上课事件

3/15/2024 · 15:55-18:20 · GH-206

第 3 周 · 节次 8-10

第 4 周

上课事件

3/22/2024 · 15:55-18:20 · GH-206

第 4 周 · 节次 8-10

第 5 周

上课事件

3/29/2024 · 15:55-18:20 · GH-206

第 5 周 · 节次 8-10

第 6 周