试题详情
判断题程序的静态验证是利用数学方法证明程序的正确性。
  • 错误
  • 关注下方微信公众号,在线模考后查看

热门试题