基本属性
- 拼音字母shuo ming yu yi xue
- 拼音首字母smyyx
- 注音符号ㄕㄨㄛ ㄇㄧㄥ ㄩ ㄧ ㄒㄩㄝ
扩展释义
《形式语义学基础与形式说明》是2010年科学出版社出版的图书,作者是屈延文。本书介绍了指称语义学、代数语义学、操作语义学与公理语义学的基本内容及其应用,并介绍了并发程序设计语言各流派的语义模型和新一代计算机计算模型的理论问题。
「说明语义学」是汉语中常见词语。本文从读音、释义、出处等方面为您权威解读。拼音:shuō míng yǔ yì xué,注音:ㄕㄨㄛ ㄇㄧㄥˊ ㄩˇ ㄧˋ ㄒㄩㄝˊ。
《形式语义学基础与形式说明》是2010年科学出版社出版的图书,作者是屈延文。本书介绍了指称语义学、代数语义学、操作语义学与公理语义学的基本内容及其应用,并介绍了并发程序设计语言各流派的语义模型和新一代计算机计算模型的理论问题。