马宗民
+
Education Level:香港城市大学
Teaching Information
Undergraduate Course
Course Name | School Year | Semester | Required Class Hours | Credits | Course Number |
软件形式化验证 | 2022-2023 | Autumn Term | 32 | - | 16302170 |
软件形式化验证 | 2022-2023 | Autumn Term | 32 | - | 16302170 |
Web数据与知识工程 | 2020-2021 | Spring Term | 24 | - | 16103710.01 |
Web数据与知识工程 | 2020-2021 | Spring Term | 24 | - | 16103710 |