授课班级 EIEN7002P.01
形式化方法
Formal Methods
2023年秋季学期 高新区
11~17周 G3-113 :5(6,7,8,9) 华保健
11~17周 G3-109 :6(2,3,4,5) 华保健
Formal Methods
11/17/2023 · 14:00-17:30 · G3-113
第 11 周 · 节次 6-9
11/18/2023 · 08:40-12:10 · G3-109
第 11 周 · 节次 2-5
11/24/2023 · 14:00-17:30 · G3-113
第 12 周 · 节次 6-9
11/25/2023 · 08:40-12:10 · G3-109
第 12 周 · 节次 2-5
12/1/2023 · 14:00-17:30 · G3-113
第 13 周 · 节次 6-9
12/2/2023 · 08:40-12:10 · G3-109
第 13 周 · 节次 2-5
12/8/2023 · 14:00-17:30 · G3-113
第 14 周 · 节次 6-9
12/9/2023 · 08:40-12:10 · G3-109
第 14 周 · 节次 2-5