书籍简介:

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

书籍规格:

书籍详细信息
书名	形式语义学引论站内查询相似图书
	9787030533838 如需购买下载《形式语义学引论》pdf扫描版电子书或查询更多相关信息，请直接复制isbn,搜索即可全网搜索该ISBN
出版地	北京	出版单位	科学出版社
版次	1版	印次	1
定价(元)	60.0	语种	简体中文
尺寸	24 × 17	装帧	精装
页数	160	印数

全网搜索试读资源

书籍信息归属:

形式语义学引论是科学出版社于2017.6出版的中图分类号为 TP301.2 的主题关于形式语义学－研究的书籍。