书籍 形式语义学引论  第2版的封面

形式语义学引论 第2版

周巢尘 詹乃军著

出版社

北京:科学出版社

出版时间

2017

ISBN

9787030533838

标注页数

150 页

PDF页数

162 页

书籍介绍
本书包含三个内容:操作语义学、指称语义学和公理语义学,但不包括代数语义学。本书涉及非确定性和并发性,也介绍了一些时态语义。本书的前三章以一个简单的程序设计语言为例,介绍操作语义学、指称语义学和公理语义学的基本理论和方法,第四到六章讨论过程调用语句,非确定型和并发型程序设计语言的语义,第七章介绍时态语义。
在线购买PDF电子书