單項選擇題

形式化方法模型是將數(shù)學方法用于（）

A.定義計算機系統(tǒng)的規(guī)格說明
B.開發(fā)無錯誤的計算機系統(tǒng)
C.驗證計算機系統(tǒng)的正確性
D.以上所有選項

微信掃碼免費搜題