用TLA+定义系统:TLA+语言与工具在软硬件设计中的应用
[美]莱斯利·兰伯特(Leslie Lamport) | 机械工业出版社
ISBN:9787111678229
原价: ¥139.00
销售价:¥55.28元
参与书籍回收后,可享更低价格
分类
计算机/网络
作者
[美]莱斯利·兰伯特(Leslie Lamport)
出版社
机械工业出版社
图书简介
本书是作者针对分布式并发计算系统超过25年的研究成果的总结。在本书中,作者提出用基于动作的时态逻辑(TLA)来为复杂信息系统的行为建立数学模型,进而使用严格的数学证明与检验的方法来验证系统行为的正确性。为此,作者发明了建模语言TLA+以及模型检查工具TLC。本书结合若干案例,深入浅出地描述了从数学原理到系统建模的哲学思想,以及从建模语言的工程实践到模型验证工具的运用技巧等内容。
相关推荐
了解更低购买价格、或有疑问需要帮助,可以找小鲸鱼噢~
咨询在线客服