机读格式显示(MARC)
- 010 __ |a 978-7-111-67822-9 |d CNY139.00
- 100 __ |a 20210508d2021 em y0chiy50 ea
- 200 1_ |a 用TLA+定义系统 |A yong TLA+ding yi ji tong |e TLA+语言与工具在软硬件设计中的应用 |f (美) 莱斯利·兰伯特著 |d = Specifying systems |e the TLA+ language and tools for hardware andsoftware engineers |f Leslie Lamport |g 董路明, 贺志平译 |z eng
- 210 __ |a 北京 |c 机械工业出版社 |d 2021.4
- 215 __ |a xiii, 314页 |c 图 |d 26cm
- 225 2_ |a 计算机科学丛书 |A ji suan ji ke xue cong shu
- 225 2_ |a 中兴通讯技术丛书 |A zhong xing tong xun ji shu cong shu
- 306 __ |a 本书中文简体字版由Pearson Education (培生教育出版集团) 授权机械工业出版社在中华人民共和国境内 (不包括香港、澳门特别行政区及台湾地区) 独家出版发行
- 314 __ |a 莱斯利·兰伯特 (Leslie Lamport), 微软研究院的首席研究员, 2013年图灵奖得主, 美国国家科学院和国家工程院院士, LaTeX系统创始人。
- 330 __ |a 本书系统介绍了形式化建模语言TLA+以及模型检查工具TLC, 并结合若干案例, 深入浅出地描述了从数学原理到系统建模的哲学思想, 以及从建模语言的工程实践到模型验证工具的运用技巧等内容。本书分为五个部分。第一部分包含大多数程序员和工程师需要了解的有关编写系统规约 (即建立模型) 的所有信息; 第二部分包含更高级的示例与材料, 供需要进阶的读者使用; 第三部分和第四部分为TLA+的参考手册, 包括语言本身的数学定义及工具的原理与使用; 第五部分介绍在基础TLA+上所演进出的TLA+版本2的新特性和少许变更。
- 333 __ |a 本书适合高级软硬件开发设计人员、测试人员、架构师以及相关学术研究人员阅读
- 410 _0 |1 2001 |a 计算机科学丛书
- 410 _0 |1 2001 |a 中兴通讯技术丛书
- 500 10 |a Specifying systems : the TLA+ language and tools for hardware andsoftware engineers |A Specifying systems : the TLA+ language and tools for hardware andsoftware engineers |m Chinese
- 517 1_ |a TLA+语言与工具在软硬件设计中的应用 |A TLA+yu yan yu gong ju zai ruan ying jian she ji zhong de ying yong
- 606 0_ |a 并发程序设计 |A bing fa cheng xu she ji
- 701 _1 |a 兰伯特 |A lan bo te |g (Lamport, Leslie) |4 著
- 702 _0 |a 董路明 |A dong lu ming |4 译
- 702 _0 |a 贺志平 |A he zhi ping |4 译
- 801 _0 |a CN |b 湖北三新 |c 20210508
- 905 __ |a GDPTC |d TP311.11/18