|
题名:
|
用TLA+定义系统 / (美) 莱斯利·兰伯特著 , 董路明, 贺志平译 |
|
ISBN:
|
978-7-111-67822-9 价格： CNY139.00 |
|
语种:
|
chi |
|
载体形态:
|
xiii, 314页 图 26cm |
|
出版发行:
|
出版地： 北京 出版社： 机械工业出版社 出版日期： 2021 |
|
内容提要:
|
本书介绍了形式化建模语言TLA+以及模型检查工具TLC，并结合若干案例，描述了从数学原理到系统建模的哲学思想，以及从建模语言的工程实践到模型验证工具的运用技巧等内容。 |
|
主题词:
|
计算机 系统设计 |
|
主题词:
|
并发程序设计 |
|
中图分类法:
|
TP302.1 版次： 5 |
|
中图分类法:
|
TP311.11 版次： 5 |
|
其它题名:
|
TLA+语言与工具在软硬件设计中的应用 |
|
主要责任者:
|
兰伯特 著 |
|
次要责任者:
|
董路明 译 |
|
次要责任者:
|
贺志平 译 |