首都师范大学 · 计算机软件与理论考研(081202)学硕

研究方向：（02）形式化理论与安全验证

• 考研年份：2026年
• 考研专业：计算机软件与理论（081202)
• 招生院系：信息工程学院
• 招生人数：2 专业总招生人数
• 学习方式：全日制
• 考试方式：统考
• 学位类型：学术学位硕士
• 博士点：无