西安工业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

计算系统的形式语义.下/陆汝钤著

出版发行项:

北京:清华大学出版社,2017

ISBN及定价:

978-7-302-41494-0 精装/CNY199.00

载体形态项:

xvii, 927-1856页, [1] 叶图版):图 (部分彩图);24cm

并列正题名:

Formal semantics of computing systems

个人责任者:

陆汝钤 著

学科主题:

形式语义-研究

中图法分类号:

TP301.2

一般附注:

国家科学技术学术著作出版基金

书目附注:

有书目 (第1655-1743页) 和索引

提要文摘附注:

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

使用对象附注:

相关研究人员

豆瓣简介：