书目信息 |
| 题名： |
用TLA+定义系统
|
|
| 作者： | 兰伯特 著 ；董路明 ， 贺志平 译 | |
| 分册： | ||
| 出版信息： | 北京 机械工业出版社 2021 |
|
| 页数： | 13,314页 | |
| 开本： | 26cm | |
| 丛书名： | 中兴通讯技术丛书 | |
| 单 册： | ||
| 中图分类： | TP311.11 | |
| 科图分类： | ||
| 主题词： | 并发程序设计 | |
| 电子资源： | ||
| ISBN： | 978-7-111-67822-9 | |
| 000 | 01779nam0 2200349 450 | |
| 001 | 215600688 | |
| 005 | 20211031085623.98 | |
| 010 | @a978-7-111-67822-9@dCNY139.00 | |
| 049 | @aA440000ZSL@bUCS01010601433@c010601433 | |
| 100 | @a20210819d2021 em y0chiy0110 ea | |
| 101 | 1 | @achi@ceng |
| 102 | @aCN@b110000 | |
| 105 | @ay z 000yy | |
| 200 | 1 | @a用TLA+定义系统@9yong TLA+ ding yi xi tong@b专著@eTLA+语言与工具在软硬件设计中的应用@dSpecifying systems@ethe TLA+ language and tools for hardware and software engineers@f(美)莱斯利·兰伯特(Leslie Lambert)著@g董路明，贺志平译@zeng |
| 210 | @a北京@c机械工业出版社@d2021 | |
| 215 | @a13,314页@d26cm | |
| 225 | 1 | @a中兴通讯技术丛书 |
| 225 | 1 | @a计算机科学丛书 |
| 300 | @a华章教育 | |
| 304 | @a+为上标 | |
| 314 | @a莱斯利·兰伯特(Leslie Lambert)，微软研究院的首席研究员，美国国家科学院和国家工程院院士，LaTeX系统创始人。 | |
| 330 | @a本书是作者针对分布式并发计算系统超过25年的研究成果的总结。在本书中，作者提出用基于动作的动态逻辑(TLA)来为复杂信息系统的行为建立数学模型，进而使用严格的数学证明与检验的方法来验证系统行为的正确性。为此，作者发明了建模语言TLA+以及模型检查工具TLC。本书结合若干案例，描述了从数学原理到系统建模的哲学思想，以及从建模语言的工程实践到模型验证工具的运用技巧等内容。 | |
| 510 | 1 | @aSpecifying systems@ethe TLA+ language and tools for hardware and software engineers@zeng |
| 517 | 1 | @aTLA+语言与工具在软硬件设计中的应用@9TLA+ yu yan yu gong ju zai ruan ying jian she ji zhong de ying yong |
| 606 | 0 | @a并发程序设计 |
| 690 | @aTP311.11@v5 | |
| 701 | 0 | @c(美)@a兰伯特@9lan bo te@c(Lambert, Leslie)@4著 |
| 702 | 0 | @a董路明@9dong lu ming@4译 |
| 702 | 0 | @a贺志平@9he zhi ping@4译 |
| 801 | 2 | @aCN@bA440000ZSL @c20210820 |
| 801 | 0 | @aCN@bZSL@c20210819 |
| 905 | @a241250@dTP311.11@e13 | |
| 用TLA+定义系统：TLA+语言与工具在软硬件设计中的应用=Specifying systems：the TLA+ language and tools for hardware and software engineers/(美)莱斯利·兰伯特(Leslie Lambert)著/董路明，贺志平译.-北京：机械工业出版社，2021 |
| 13,314页；26cm.-(中兴通讯技术丛书).-(计算机科学丛书) |
| 华章教育 |
| ISBN 978-7-111-67822-9：CNY139.00 |
| 本书是作者针对分布式并发计算系统超过25年的研究成果的总结。在本书中，作者提出用基于动作的动态逻辑(TLA)来为复杂信息系统的行为建立数学模型，进而使用严格的数学证明与检验的方法来验证系统行为的正确性。为此，作者发明了建模语言TLA+以及模型检查工具TLC。本书结合若干案例，描述了从数学原理到系统建模的哲学思想，以及从建模语言的工程实践到模型验证工具的运用技巧等内容。 |
| ● |
| 相关链接 |
正题名：用TLA+定义系统
索取号：TP311.11/13
预约/预借
| 序号 | 登录号 | 条形码 | 馆藏地/架位号 | 状态 | 备注 |
| 1 | 1909405 | 219094058 | 样本书库/4110540304/ [索取号:TP311.11/13] | 在馆 | |
| 2 | 1909406 | 219094067 | 新区/5100060304/ [索取号:TP311.11/13] | 在馆 | |
| 3 | 1909407 | 219094076 | 新区/5100060304/ [索取号:TP311.11/13] | 在馆 |