同类推荐
-
-
Seedance从入门到精通:即梦AI从创意到一键生成…
-
¥69.00
-
-
Seedance从入门到精通:即梦AI从创意到一键生成…
-
¥69.00
-
-
Seedance从入门到精通:即梦AI从创意到一键生成…
-
¥69.00
-
-
智能持续安全：构建AI驱动的软件全生命周期安全体系
-
¥99.00
-
-
智能持续安全：构建AI驱动的软件全生命周期安全体系
-
¥99.00
-
-
智能持续安全：构建AI驱动的软件全生命周期安全体系
-
¥99.00
-
-
CCF GESP C++通关训练习题集（一、二级）
-
¥79.00
-
-
CCF GESP C++通关训练习题集（一、二级）
-
¥79.00
-
-
CCF GESP C++通关训练习题集（一、二级）
-
¥79.00
-
-
计算机操作系统习题与考研真题解析（第2版）（微课版）
-
¥59.80
|
|
图书信息
|
|
|
|
用TLA+定义系统:TLA+语言与工具在软硬件设计中的应用:the TLA+Language and tools for hardware and software engineers
|
| ISBN： | 9787111678229 |
定价： | ￥139.00 |
| 作者： | (美)莱斯利·兰伯特(Leslie Lamport)著 |
出版社： | 机械工业出版社 |
| 出版时间： | 2021年04月 |
开本： | 26cm |
| 页数： | 13,314页 |
中图法： | TP311.11 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
|
|
|
|
|
其它供货商库存合计
|
7
|
|
2026-08-06
|
图书简介 | | 本书是作者针对分布式并发计算系统超过25年的研究成果的总结。在本书中，作者提出用基于动作的时态逻辑(TLA)来为复杂信息系统的行为建立数学模型，进而使用严格的数学证明与检验的方法来验证系统行为的正确性。为此，作者发明了建模语言TLA+以及模型检查工具TLC。本书结合若干案例，深入浅出地描述了从数学原理到系统建模的哲学思想，以及从建模语言的工程实践到模型验证工具的运用技巧等内容。 |
|