大拱桥--暨南大学学生门户 » 图书馆 » | 08 环境公报 » 形式语义学基础与形式说明 [电子资源]
名称 形式语义学基础与形式说明 [电子资源]
索引号
分类号
(| 08 环境公报)
作者
出版社 , 1989
ISBN 7030006062
页数 681页
价格
标签
简介
注解 全书共分十章。介绍了指称语义学、代数语义学等,并介绍了发展程序设计语各流派的语义模型和新一代计算机的计算模型的理论问题。