题名:
计算系统的形式语义   / 陆汝钤著 ,
ISBN:
978-7-302-41494-0 价格: CNY199.00
语种:
chi
载体形态:
901-1856页 图(部分彩图) 24cm
出版发行:
出版地: 北京 出版社: 清华大学出版社 出版日期: 2017
内容提要:
本书系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法,并结合近年来形式语义学的最新进展,适应发展迅速的并发系统等对形式语义描述的需求,着重增加了并发语义和移动计算系统的形式理论等内容。此外,还增加了当今非常热门的一个研究内容,即生物系统的形式化描述问题。内容全面丰富,文笔流畅,可读性强,是一本难得的学术专著。 
主题词:
形式语义   研究
中图分类法:
TP301.2 版次: 5
主要责任者:
陆汝钤
附注:
国家科学技术学术著作出版基金 
索书号:
1