形式语义学基础 [电子资源]


名称	形式语义学基础 [电子资源]

索引号
分类号	(\| 08 环境公报)
作者
出版社	, 1994
ISBN	7312005330
页数	237页
价格
标签
简介
注解	本书介绍了程序设计语言形式语义方面的技术,其中有语义、公理语义、指称语义、代数规范的初始语义等。