书籍简介:

本书是计算机科学的基础学科分支。本书共分六章，分别为引言、操作语义的语义框架、指称语义的数学描述方法、公理语义的推理模式、静态程序分析的基本方法，最后是实例研究。《形式语义学》的目的是培养研究人员和工程人员具备利用形式化方法对程序进行推理的能力，运用形式语义学的理论及方法分析和验证程序。本书通过详细的介绍、大量的实例，达到了其设立的目标。

书籍规格:

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

全网搜索试读资源

书籍信息归属:

形式语义学是南京大学出版社于2012.9出版的中图分类号为 H03 的主题关于语义学－研究生－教材的书籍。