T007575　计算机语言的形式语义

出处：按学科分类—综合性图书 湖北人民出版社《中国图书大辞典：1949-1992第16册工业技术(下)》第800页（153字）

陆汝钤编着。

科学出版社1992年12月版。74．4万字。

概述形式语义学中的操作语义、指称语义、公理语义和代数语义4大流派的主要内容，集中讨论并发和分布式语义。

系统反映这个领域各方面的研究成果，以及近代发展潮流之趋势，对不同流派的理论和方法进行分析和评价。