计算系统的形式语义

计算系统的形式语义

陆汝钤, 著

出版社:清华大学出版社

年代:2015

定价:198.0

书籍简介:

系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法,并结合近年来形式语义学的最新进展,适应发展迅速的并发系统等对形式语义描述的需求,着重增加了并发语义和移动计算系统的形式理论等内容。此外,还增加了当今非常热门的一个研究内容,即生物系统的形式化描述问题。内容全面丰富,文笔流畅,可读性强,是一本难得的学术专著。

书籍规格:

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

书籍信息归属:

计算系统的形式语义是清华大学出版社于2017.出版的中图分类号为 TP301.2 的主题关于 形式语义-研究 的书籍。