作者：周巢尘, 詹乃军著
出版社： 科学出版社
CIP号：2017134871
书号：978-7-03-053383-8
出版地：北京
出版时间：2017.6
定价：￥60
本书包含三个内容：操作语义学、指称语义学和公理语义学，但不包括代数语义学。本书涉及非确定性和并发性，也介绍了一些时态语义。本书的前三章以一个简单的程序设计语言为例，介绍操作语义学、指称语义学和公理语义学的基本理论和方法，第四到六章讨论过程调用语句，非确定型和并发型程序设计语言的语义，第七章介绍时态语义。