马宗民
-
教授
- 招生学科专业：
计算机科学与技术 -- 【招收博士、硕士研究生】 -- 计算机科学与技术学院
软件工程 -- 【招收博士、硕士研究生】 -- 计算机科学与技术学院
电子信息 -- 【招收博士、硕士研究生】 -- 计算机科学与技术学院
- 学历：香港城市大学
- 学位：工学博士学位
- 所在单位：计算机科学与技术学院/人工智能学院/软件学院
- 电子邮箱：9c94faffe2f59150e23feba461b866cbd95fb85494a544c7236837f7f4629d47daa2a49fce64a8c4d77bdeda44b80bfb734a1cc08809f435420a11002d9d0bc489bc70d78c8906bfa2e3786c2fbed3b08244573bd658ae7262ff9418856b5ee55c9f7688d621eb2e7963ef6c9263e5d65c8cf8bbb8d30e1e5dfcb474d3f0344e
访问量：
软件形式化验证
点击次数：
上课地点：10105
上课时间：第 1-8 周 周5 第5节 连上2节
开课学年：2022-2023
开课学期：秋学期
课程号：16302170
课程类型：本科生课程
是否精品课程：否
选课人数：29
课时：32.0
