高级搜索
个人中心
机构中心
退出
登录
注册
专业板块
专题板块
大众板块
高级搜索
个人中心
机构中心
退出
高级搜索
登录
注册
总分类
哲学
经济学
法学
教育学
文学
历史学
理学
工学
农学
医学
军事学
管理学
艺术学
返回总分类
理学
数学
系统科学
统计学
物理学
力学
化学
天文学
地理学
中国地理
世界地理
地质学/地质资源与地质工程
地球物理学
海洋科学
大气科学
生物学
生态学
心理学
计算机科学技术
科学技术史
首页
. 理学
. 计算机科学技术
全部分类
全部
哲学
经济学
法学
教育学
文学
历史学
理学
工学
农学
医学
军事学
管理学
艺术学
执行学科
分支
全部
全部
/
形式化方法
/
formal methods
/
/
formal methods
/
基于严格的数学基础，对计算系统和应用进行规约、开发和验证的方法。
京公网安备 11010202008139号
/
