MARC状态:审校 文献类型:中文图书 浏览次数:23
- 题名/责任者:
- 用TLA+定义系统:TLA+语言与工具在软硬件设计中的应用/(美) 莱斯利·兰伯特著 董路明, 贺志平译
- 出版发行项:
- 北京:机械工业出版社,2021.4
- ISBN及定价:
- 978-7-111-67822-9/CNY139.00
- 载体形态项:
- xiii, 314页:图;26cm
- 其它题名:
- TLA+语言与工具在软硬件设计中的应用
- 丛编项:
- 计算机科学丛书
- 丛编项:
- 中兴通讯技术丛书
- 个人责任者:
- 兰伯特 (Lamport, Leslie) 著
- 个人次要责任者:
- 董路明 译
- 个人次要责任者:
- 贺志平 译
- 学科主题:
- 并发程序设计
- 中图法分类号:
- TP311.11
- 题名责任附注:
- 题名中+为TLA的右上角标
- 出版发行附注:
- 本书中文简体字版由Pearson Education (培生教育出版集团) 授权机械工业出版社在中华人民共和国境内 (不包括香港、澳门特别行政区及台湾地区) 独家出版发行
- 责任者附注:
- 莱斯利·兰伯特 (Leslie Lamport), 微软研究院的首席研究员, 2013年图灵奖得主, 美国国家科学院和国家工程院院士, LaTeX系统创始人。
- 提要文摘附注:
- 本书系统介绍了形式化建模语言TLA+以及模型检查工具TLC, 并结合若干案例, 深入浅出地描述了从数学原理到系统建模的哲学思想, 以及从建模语言的工程实践到模型验证工具的运用技巧等内容。本书分为五个部分。第一部分包含大多数程序员和工程师需要了解的有关编写系统规约 (即建立模型) 的所有信息; 第二部分包含更高级的示例与材料, 供需要进阶的读者使用; 第三部分和第四部分为TLA+的参考手册, 包括语言本身的数学定义及工具的原理与使用; 第五部分介绍在基础TLA+上所演进出的TLA+版本2的新特性和少许变更。
- 使用对象附注:
- 本书适合高级软硬件开发设计人员、测试人员、架构师以及相关学术研究人员阅读
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
TP311.11/18 | 00718274 | 南海校区书库 (图书定位请点击这里) | 可借 | 南海校区书库 | |
TP311.11/18 | 00718275 | 书库 (图书定位请点击这里) | 可借 | 书库 | |
TP311.11/18 | 00718276 | 书库 (图书定位请点击这里) | 可借 | 书库 |
显示全部馆藏信息