机读格式显示(MARC)

• 000 01954nam 22003731 450

• 001 0000393853

• 005 20211014152000.0

• 010 __ |a 978-7-111-67822-9 |d CNY139.00

• 100 __ |a 20210918d2021 em y0chiy50 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a ak z 000yy

• 106 __ |a r

• 200 1_ |a 用TLA+定义系统 |A yong TLA+ ding yi xi tong |e TLA+语言与工具在软硬件设计中的应用 |f (美) 莱斯利·兰伯特著 |d = Specifying systems |e the TLA+Language and tools for hardware and software engineers |f Leslie Lamport |g 董路明, 贺志平译 |z eng

• 210 __ |a 北京 |c 机械工业出版社 |d 2021.04

• 215 __ |a XIII, 314页 |c 图 |d 26cm

• 225 2_ |a 中兴通讯技术丛书 |A zhong xing tong xun ji shu cong shu

• 225 2_ |a 计算机科学丛书 |A ji suan ji ke xue cong shu

• 306 __ |a 由Pearson Education (培生教育出版集团) 授权出版

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

• 410 _0 |1 2001 |a 中兴通讯技术丛书

• 410 _0 |1 2001 |a 计算机科学丛书

• 500 10 |a Specifying systems : the TLA+Language and tools for hardware and software engineers |A Specifying Systems : The Tla+language And Tools For Hardware And Software Engineers |m Chinese

• 517 1_ |a TLA+语言与工具在软硬件设计中的应用 |A TLA+ yu yan yu gong ju zai ruan ying jian she ji zhong de ying yong

• 606 0_ |a 并发程序设计 |A bing fa cheng xu she ji

• 606 0_ |a 计算机 |A ji suan ji |x 系统设计

• 690 __ |a TP311.11 |v 5

• 690 __ |a TP302.1 |v 5

• 690 __ |a TP3 |v 5

• 701 _1 |a 兰伯特 |A lan bo te |g (Lamport, Leslie) |4 著

• 702 _0 |a 董路明 |A dong lu ming |4 译

• 702 _0 |a 贺志平 |A he zhi ping |4 译

• 801 _0 |a CN |b 辽批 |c 20210918

• 905 __ |a AUSTL |d TP3/L163