... 计划项目执行评价 program evaluation 计算机辅助核实 computer-assisted verification 计算机辅助审计技术 computer-assisted audit technique ...
基于8个网页-相关网页
computer-assisted verification of software control [计] 软件控制的计算机辅助审核
·2,447,543篇论文数据，部分数据来源于NoteExpress
Computer generated and assisted proofs and verification occupy a small niche in the realm of Computer Science.
公理的计算机生成、辅助证明和验证这一学科在计算机科学王国中只占有很小的份额。
youdao
应用推荐
模块上移
模块下移
不移动