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