查核程序 verification procedure
审核评审和检查程序 Audit review and checking procedure
环境尽职调查审核程序 Environmental Due Diligence Audit
如需制定新的核查技术、手段和程序，应保证其切实可行，并得到国际社会的普遍支持。
Any new verification techniques, means and procedures should be feasible and receive universal support from the international community.
使用递归可以极度简化程序的核查。
Using recursion tremendously simplifies the verification of programs.
这个函数输出需要能力的程序的名称和被核查的能力。
This function prints the name of the program that requires capabilities and the capability being checked.
应用推荐