计算机术语“automatic_program_verification_system”的中英文意思、释义、翻译及用法-计算机英汉双解词典

术语	automatic_program_verification_system
释义	automatic program verification system 自动程式验证系统程式验证就是证明电脑程式与规定程式做什麽的形式说明之间的一致性。
随便看	electron_jet electron_lens electron_mass electron_optics electron_trap electro-optical_effect electrophotography electroreflectance electroscope electrosensitive_processor electrosensitive_recording electrostatic electrostatic_deflection electrostatic_image electrostatic_induction electrostatic_photography electrostatic_plotter electrostatic_printer electrostatic_process electrostatic_recording_paper electrostatics electrostatic_screen electrostatic_separator tape_file tape_input

Linux计算机英汉词典包含19493条计算机术语英汉翻译词条，基本涵盖了全部常用计算机术语的翻译及用法，是计算机学习及翻译工作的有利工具。