商品详情
- 商品名称：正版 用TLA+定义系统 TLA+语言与工具在软硬件设计中的应用计算机科学技术丛书华章译丛TLA+定义系统操作软件硬件开发教程程序书籍
- 商品编号 ：643328302587
- 店铺：
- 重量：0.000千克
- 上架时间：2021-08-16 18:01:41
- ISBN编号 ：9787111678229
- 书名 ：用TLA+定义系统：TLA+语言与工具在软硬件设计中的应用,用TLA+定义系统：TLA+语言与工具在软硬件设计中的应用
- 作者 ：莱斯利·兰伯特(Leslie,Lamport)
- 定价 ：139.00元
- 出版时间 ：2021-03
- 出版社名称 ：机械工业出版社
- 是否是套装 ：否
- 开本 ：16开
- 作者地区 ：美国
更多参数>>
商品参数 用TLA+定义系统：TLA+语言与工具在软硬件设计中的应用 定价 139.00 作者 [美] 莱斯利·兰伯特（Leslie Lamport） 著，董路明，贺志平 译 出版时间 2021年04月 开本 16开 装帧 平装 页数 328 重量 571 ISBN编码 9787111678229 出版社 机械工业出版社 内容介绍 本书是作者针对分布式并发计算系统超过25年的研究成果的总结。在本书中，作者提出用基于动作的时态逻辑（TLA）来为复杂信息系统的行为建立数学模型，进而使用严格的数学证明与检验的方法来验证系统行为的正确性。为此，作者发明了 ...
