中国科学院软件研究所 · 计算机科学与技术考研 学硕

研究方向：（02）形式化方法

• 考研年份：2024年
• 考研专业：计算机科学与技术（081200)
• 招生院系：不区分院系
• 招生人数：4人 专业总招生人数
• 学习方式：全日制
• 考试方式：统考
• 学位类型：学术学位硕士
• 博士点：无