formal verification of programs 中文意思是什麼
formal verification of programs
解釋
程序的形式驗證- formal : adj 1 正式的。2 禮節上的，儀式上的；鄭重其事的。3 形態的，外形的；形式上的；拘泥形式的，刻板的。4...
- verification : n. 1. 證實，證明，確定；核驗，驗證，核對；檢驗，校驗。2. 【法律】訴狀[答辯書]結尾的舉證說明。
- of : OF ＝Old French 古法語。
- programs : 程序
-
目前還沒有formal verification of programs例句。
分享友人