文献引用
复制
首页
[{"ID":42422,"Name":"理学"},{"ID":81272,"Name":"计算机科学技术"},{"ID":81604,"Name":"计算机软件"},{"ID":81613,"Name":"软件语言与方法"},{"ID":81617,"Name":"软件方法学"},{"ID":81621,"Name":"形式化方法"}]
形式化方法
/formal methods/
最后更新 2024-12-04
浏览 306次
基于严格的数学基础，对计算系统和应用进行规约、开发和验证的方法。
- 英文名称
- formal methods
- 所属学科
- 计算机科学技术
京公网安备 11010202008139号
