说明语义学

【词语拼音】shuō míng yǔ yì xué

【词语繁体】說明語義學

【词语结构】式词语

【词语字数】五字词语

【网络解释】
《形式语义学基础与形式说明》是2010年科学出版社出版的图书，作者是屈延文。本书介绍了指称语义学、代数语义学、操作语义学与公理语义学的基本内容及其应用，并介绍了并发程序设计语言各流派的语义模型和新一代计算机计算模型的理论问题。