| 名称: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
标签:
用空格间隔多个标签,如:小说 文学 余秋雨
保存至书单:
形式语义学基础, 陈意云编著 |
|
|
ISBN:
|
7-312-00533-0 价格： ￥7.50 |
|
语种:
|
chi |
|
题名:
|
形式语义学基础 / 陈意云编著 , |
|
出版发行:
|
出版地： 合肥 出版社： 中国科学技术大学出版社 出版日期： 1994.3 |
|
载体形态:
|
237页 26cm |
|
摘要:
|
介绍程序设计语言形式语义方面的技术，其中有语义、公理语义、指称语义、代数规范的初始语义等。 |
|
主题:
|
形式语言 |
|
中图分类:
|
TP301.2 版次： 3 |
|
主要著者:
|
陈意云 编著 |
|
索书号
|
TP301.2/2 |
|
标签:
|
相关主题:
|
|
相关资源:
|
|
|
分享资源:
|
|
限定所在馆:
限定所在馆藏地点:
限定馆藏状态:
HEA| |00986nam0 2200241 45 001| |0195005628 010| |□a7-312-00533-0□d￥7.50 100| |□a19950321d1994 em y0chiy0121 ea 101|0 |□achi 102| |□aCN□b340000 105| |□ay z 000yy 106| |□ar 200|10|□a形式语义学基础□f陈意云编著 210| |□a合肥□c中国科学技术大学出版社□d1994.3 215| |□a237页□d26cm 330| |□a介绍程序设计语言形式语义方面的技术，其中有语义、公理语义- | |、指称语义、代数规范的初始语义等。 606| |□a形式语言 690| |□aTP301.2□v3 701| 0|□a陈意云□4编著 801| 0|□aCN 905| |□aMT□fTP301.2/2□s2□kj□b1721685- | |□kw□b1721686 908| |□a1721686□b10395□cMT□d0□e2□fTP- | |301.2/2□gMT□hyt□i□j7.5□k□l1□m- | |□n0□o平装□p0□q1990-01-01□r7.5□t□- | |u□v999_CN01□w1990-01-01□y订购□zyt 908| |□aM1721686□b1900096220□cMT□d□e- | |2□fTP301.2/2□gMT□hyt□i□j7.5□k- | |□l1□m□n□o平装□p□q1990-01-01□r□t□- | |u□v999_CN01□w1990-01-01□y□zyt