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

术语	axiomatic_semantics
释义	axiomatic semantics 公理语义学语义形式化的一种方法，用来证明程式的正确性。
随便看	ltu ltwa lu lub lu_factorization luggable lukasiewicz_notation lu-lu_session_initiation lu-lu_session_termination lu-lu_session_type lu-lu_session_type_0 lu-lu_session_type_1 lu-lu_session_type_2 lu-lu_session_type_3 lu-lu_session_type_4 lu-lu_session_type_6 lu-lu_session_type_7 luminance lumped_parameter_delay_line lurk lu_services_manager lu_type lvd lwc lycos

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