机读格式显示(MARC)
- 010 __ |a 978-7-302-41494-0 |d CNY398.00(全2册) |b 精装
- 200 1_ |a 计算系统的形式语义 |e |f 陆汝钤著 |g
- 210 __ |c 清华大学出版社 |a 北京 |d 2017.01
- 215 __ |a 2册(17,1856页) |d 24cm
- 330 __ |a 本书大体上分为三个部分。第一部分是数学基础,为第一章。第二部分包括第二到第五章,概述了形式语义中的操作语义、指称语义、公理语义和代数语义四大经典流派。第三部分包括第六到第九章,概述了形式语义学的现代应用,分别介绍分布式系统、移动计算和移动通信系统等形式语