书目信息

书名： 用TLA+定义系统 
作者： 兰伯特 著 ；董路明 ， 贺志平 译
出版信息： 北京   机械工业出版社  2021.4
开本页数： 26cm  xiii, 314页
丛书名： 计算机科学丛书
单 册：
中图分类： TP311.1
科图分类：
主题词： 并发程序设计--bing fa cheng xu she ji
电子资源：
ISBN： 978-7-111-67822-9
000 02184nam 2200361 450
001 012021000009
005 20210825134241.4
010    @a978-7-111-67822-9@dCNY139.00
100    @a20210508d2021 em y0chiy50 ea
101 1  @achi@ceng
102    @aCN@b110000
105    @aak z 000yy
106    @ar
200 1  @a用TLA+定义系统@Ayong TLA+ding yi ji tong@eTLA+语言与工具在软硬件设计中的应用@f(美) 莱斯利·兰伯特著@d= Specifying systems@ethe TLA+ language and tools for hardware andsoftware engineers@fLeslie Lamport@g董路明, 贺志平译@zeng
210    @a北京@c机械工业出版社@d2021.4
215    @axiii, 314页@c图@d26cm
225 2  @a计算机科学丛书@Aji suan ji ke xue cong shu
225 2  @a中兴通讯技术丛书@Azhong xing tong xun ji shu cong shu
304    @a题名中+为TLA的右上角标
306    @a本书中文简体字版由Pearson Education (培生教育出版集团) 授权机械工业出版社在中华人民共和国境内 (不包括香港、澳门特别行政区及台湾地区) 独家出版发行
314    @a莱斯利·兰伯特 (Leslie Lamport), 微软研究院的首席研究员, 2013年图灵奖得主, 美国国家科学院和国家工程院院士, LaTeX系统创始人。
330    @a本书系统介绍了形式化建模语言TLA+以及模型检查工具TLC, 并结合若干案例, 深入浅出地描述了从数学原理到系统建模的哲学思想, 以及从建模语言的工程实践到模型验证工具的运用技巧等内容。本书分为五个部分。第一部分包含大多数程序员和工程师需要了解的有关编写系统规约 (即建立模型) 的所有信息; 第二部分包含更高级的示例与材料, 供需要进阶的读者使用; 第三部分和第四部分为TLA+的参考手册, 包括语言本身的数学定义及工具的原理与使用; 第五部分介绍在基础TLA+上所演进出的TLA+版本2的新特性和少许变更。
410  0 @12001 @a计算机科学丛书
410  0 @12001 @a中兴通讯技术丛书
500 10 @aSpecifying systems : the TLA+ language and tools for hardware andsoftware engineers@mChinese
517 1  @aTLA+语言与工具在软硬件设计中的应用@ATLA+yu yan yu gong ju zai ruan ying jian she ji zhong de ying yong
606 0  @a并发程序设计@Abing fa cheng xu she ji
690    @aTP311.1@v5
701  1 @a兰伯特@Alan bo te@g(Lamport, Leslie)@4著
702  0 @a董路明@Adong lu ming@4译
702  0 @a贺志平@Ahe zhi ping@4译
801  0 @aCN@bCDNYKJZYXY@c20210825
905    @aCDNYKJZYXY@b300621176-78@dTP311.1@e582@f3
    
    用TLA+定义系统：TLA+语言与工具在软硬件设计中的应用/(美) 莱斯利·兰伯特著= Specifying systems：the TLA+ language and tools for hardware andsoftware engineers/Leslie Lamport/董路明, 贺志平译.-北京：机械工业出版社，2021.4
    xiii, 314页：图；26cm.-(计算机科学丛书).-(中兴通讯技术丛书)
    
    
    ISBN 978-7-111-67822-9：CNY139.00
    本书系统介绍了形式化建模语言TLA+以及模型检查工具TLC, 并结合若干案例, 深入浅出地描述了从数学原理到系统建模的哲学思想, 以及从建模语言的工程实践到模型验证工具的运用技巧等内容。本书分为五个部分。第一部分包含大多数程序员和工程师需要了解的有关编写系统规约 (即建立模型) 的所有信息; 第二部分包含更高级的示例与材料, 供需要进阶的读者使用; 第三部分和第四部分为TLA+的参考手册, 包括语言本身的数学定义及工具的原理与使用; 第五部分介绍在基础TLA+上所演进出的TLA+版本2的新特性和少许变更。
●
相关链接 在五车中查询图书 在当当中查询图书 在豆瓣中查询图书


正题名：用TLA+定义系统     索取号：TP311.1/582         预约/预借

序号 登录号 条形码 馆藏地/架位号 状态 备注
1 621176   300621176   流通五库四楼/ [索取号:TP311.1/582] 在馆    
2 621177   300621177   流通五库四楼/ [索取号:TP311.1/582] 在馆    
3 621178   300621178   流通五库四楼/ [索取号:TP311.1/582] 在馆