constructive program verification 中文意思是什麼

constructive program verification 解釋
結構程序驗證
  • constructive : adj. 1. 構成的,建設(性)的;積極的。2. 【法律】推定的;解釋(性)的。3. 【數學】作圖的;【物理學】相長的。adv. -ly ,-ness n.
  • program : 按遺傳密碼工作
  • verification : n. 1. 證實,證明,確定;核驗,驗證,核對;檢驗,校驗。2. 【法律】訴狀[答辯書]結尾的舉證說明。
  1. 目前還沒有constructive program verification例句。
分享友人