大拱桥--暨南大学学生门户 » 图书馆 » | 08 环境公报 » 计算机语言的形式语义
名称 计算机语言的形式语义
索引号 116439
分类号
(| 08 环境公报)
作者 陆汝钤、
出版社 北京 : 科学出版社, 1992.12
ISBN 7-03-003022-2
页数 886页 ; 20cm
价格 CNY21.00
标签 计算机科学、形式语义、语义、计算机、符号学、程序设计、模型、数理逻辑、
简介
注解 中国科学院科学出版基金资助项目・ 概述形式语义学中的操作语义、指称语义、公理语义和代数语义四大流派的主要内容, 并讨论并发和分布式语义・