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

术语	automatic_program_verification_system
释义	automatic program verification system 自动程式验证系统程式验证就是证明电脑程式与规定程式做什麽的形式说明之间的一致性。
随便看	musical_instrument_digital_interface clt cltp cluster cluster_controller cluster_controller_node cluster_control_unit clustered_file cluster_entry clustering_algorithm clutch_point clv cm c-marc_format cmi cmip cmnd cmos cmos_ram cmp cms cms_batch_facility cms_editor cms_nucleus cmts

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