书目信息 |
| 题名： |
用TLA+定义系统
|
|
| 作者： | 兰伯特 著 ；董路明 ， 贺志平 译 | |
| 分册： | ||
| 出版信息： | 北京 机械工业出版社 2021.04 |
|
| 页数： | XIII, 314页 | |
| 开本： | 26cm | |
| 丛书名： | 中兴通讯技术丛书 | |
| 单 册： | ||
| 中图分类： | TP311.11 | |
| 科图分类： | ||
| 主题词： | 并发程序设计--bing fa cheng xu she ji | |
| 电子资源： | ||
| ISBN： | 978-7-111-67822-9 | |
| 000 | 01789nam 2200337 450 | |
| 001 | 202021194594 | |
| 005 | 20211025120147.0 | |
| 010 | @a978-7-111-67822-9@dCNY139.00 | |
| 100 | @a20211005d2021 em y0chiy50 ea | |
| 101 | 1 | @achi@ceng |
| 102 | @aCN@b110000 | |
| 105 | @aak z 000yy | |
| 106 | @ar | |
| 200 | 1 | @a用TLA+定义系统@Ayong TLA+ ding yi xi tong@eTLA+语言与工具在软硬件设计中的应用@f(美) 莱斯利·兰伯特著@d= Specifying systems@ethe TLA+Language and tools for hardware and software engineers@fLeslie Lamport@g董路明, 贺志平译@zeng |
| 210 | @a北京@c机械工业出版社@d2021.04 | |
| 215 | @aXIII, 314页@c图@d26cm | |
| 225 | 2 | @a中兴通讯技术丛书@Azhong xing tong xun ji shu cong shu |
| 225 | 2 | @a计算机科学丛书@Aji suan ji ke xue cong shu |
| 306 | @a由Pearson Education (培生教育出版集团) 授权出版 | |
| 330 | @a本书是作者针对分布式并发计算系统超过25年的研究成果的总结。在本书中, 作者提出用基于动作的时态逻辑 (TLA) 来为复杂信息系统的行为建立数学模型, 进而使用严格的数学证明与检验的方法来验证系统行为的正确性。为此, 作者发明了建模语言TLA+以及模型检查工具TLC。本书结合若干案例, 深入浅出地描述了从数学原理到系统建模的哲学思想, 以及从建模语言的工程实践到模型验证工具的运用技巧等内容。 | |
| 410 | 0 | @12001 @a中兴通讯技术丛书 |
| 410 | 0 | @12001 @a计算机科学丛书 |
| 500 | 10 | @aSpecifying systems : the TLA+Language and tools for hardware and software engineers@mChinese |
| 517 | 1 | @aTLA+语言与工具在软硬件设计中的应用@ATLA+ yu yan yu gong ju zai ruan ying jian she ji zhong de ying yong |
| 606 | 0 | @a并发程序设计@Abing fa cheng xu she ji |
| 690 | @aTP311.11@v5 | |
| 701 | 1 | @a兰伯特@Alan bo te@g(Lamport, Leslie)@4著 |
| 702 | 0 | @a董路明@Adong lu ming@4译 |
| 702 | 0 | @a贺志平@Ahe zhi ping@4译 |
| 801 | 0 | @aCN@c20210909 |
| 905 | @a河南城建学院图书馆@dTP311.11@eL036 | |
| 用TLA+定义系统：TLA+语言与工具在软硬件设计中的应用/(美) 莱斯利·兰伯特著= Specifying systems：the TLA+Language and tools for hardware and software engineers/Leslie Lamport/董路明, 贺志平译.-北京：机械工业出版社，2021.04 |
| XIII, 314页：图；26cm.-(中兴通讯技术丛书).-(计算机科学丛书) |
| ISBN 978-7-111-67822-9：CNY139.00 |
| 本书是作者针对分布式并发计算系统超过25年的研究成果的总结。在本书中, 作者提出用基于动作的时态逻辑 (TLA) 来为复杂信息系统的行为建立数学模型, 进而使用严格的数学证明与检验的方法来验证系统行为的正确性。为此, 作者发明了建模语言TLA+以及模型检查工具TLC。本书结合若干案例, 深入浅出地描述了从数学原理到系统建模的哲学思想, 以及从建模语言的工程实践到模型验证工具的运用技巧等内容。 |
| ● |
| 相关链接 |
|
|
|
正题名：用TLA+定义系统
索取号：TP311.11/L036
预约/预借
| 序号 | 登录号 | 条形码 | 馆藏地/架位号 | 状态 | 备注 |
| 1 | 1543807 | 215438079 | 自科库301/301自科库 39排3列1层/ [索取号:TP311.11/L036] | 在馆 |