商品分类

图书

影音

共有1个搜索结果

用TLA+定义系统(TLA+语言与工具在软硬件设计中的应用)/中兴通讯技术丛书/计算机科学丛书
所属分类：电子电脑>>计算机技术>>程序与语言作者：(美)莱斯利·兰伯特|责编:王春华//孙榕舒|译者:董路明//贺志平出版社：机械工业
丛书项：计算机科学丛书
本书系统介绍了形式化建模语言TLA+以及模型检查工具TLC，并结合若干案例，深入浅出地描述了从数学原理到系统建模的哲学思想，以及从建模语言的工程实践到模型验证工具的运用技巧等内容。本书分为五个部分。第一部分包含大多数程序员和工程师需要了解的有关编写系统规约（即建立模型）的所有信息；第二部分包含更高级的示例与材料，供需要进阶的读者使用；第三部分和第四部分为 TLA+的参考手册，包括语言本身的数学定义及工具的原理与使用；第五部分介绍在基础TLA+上所演进出的 TLA+版本2的新特性和少许变更。本书适合高级软硬件开发设计人员、测试人员、架构师以及相关学术研究人员阅读。
售价：55.60