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