安徽理工大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

用TLA+定义系统:TLA+语言与工具在软硬件设计中的应用/(美) 莱斯利·兰伯特著 董路明, 贺志平译

出版发行项:

北京:机械工业出版社,2021.04

ISBN及定价:

978-7-111-67822-9/CNY139.00

载体形态项:

XIII, 314页:图;26cm

统一题名:

Specifying systems : the TLA+Language and tools for hardware and software engineers

其它题名:

TLA+语言与工具在软硬件设计中的应用

丛编项:

中兴通讯技术丛书

丛编项:

计算机科学丛书

个人责任者:

兰伯特 (Lamport, Leslie) 著

个人次要责任者:

董路明 译

个人次要责任者:

贺志平 译

学科主题:

并发程序设计

学科主题:

计算机-系统设计

中图法分类号:

TP311.11

中图法分类号:

TP302.1

中图法分类号:

TP3

出版发行附注:

由Pearson Education (培生教育出版集团) 授权出版

提要文摘附注:

本书是作者针对分布式并发计算系统超过25年的研究成果的总结。在本书中, 作者提出用基于动作的时态逻辑 (TLA) 来为复杂信息系统的行为建立数学模型, 进而使用严格的数学证明与检验的方法来验证系统行为的正确性。为此, 作者发明了建模语言TLA+以及模型检查工具TLC。本书结合若干案例, 深入浅出地描述了从数学原理到系统建模的哲学思想, 以及从建模语言的工程实践到模型验证工具的运用技巧等内容。

豆瓣简介：