多做题，通过考试没问题！

软件工程

睦霖题库>大学试题(计算机科学)>软件工程

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

  • A、定义计算机系统的规格说明
  • B、开发无错误的计算机系统
  • C、验证计算机系统的正确性
  • D、以上所有选项
正确答案:D
答案解析:有
进入题库查看解析

微信扫一扫手机做题

最新试题
热门试题