A.指計算機輔助系統(tǒng)工程B.CAD和CAM技術(shù)的發(fā)展動力C.正在實驗室用的工具D.指計算機輔助軟件工程
A.統(tǒng)一性 B.安全性 C.無二義性 D.組合性
A.正確性證明 B.測試 C.自動程序設(shè)計 D.符號證明