会员中心

当前位置：答题翼 > 问答 > 远程教育 > 正文

目录：标题| 题干| 答案| 搜索| 相关

问题

形式化方法模型是将数学方法用于()。

形式化方法模型是将数学方法用于（)。

A、定义计算机系统的规格说明

B、开发无错误的计算机系统

C、验证计算机系统的正确性

D、以上所有选项

参考答案

您可能感兴趣的试题

暂无相关推荐

最新题目