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