形式语义学
暂无封面,等待上传

形式语义学

杨静, 杨华, 杨溢龙, 段国勇, 朱浩, 杨嵩, 编著

出版社:南京大学出版社

年代:2012

定价:38.0

书籍简介:

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

书籍规格:

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

书籍信息归属:

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