| 名称: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
标签:
用空格间隔多个标签,如:小说 文学 余秋雨
保存至书单:
用TLA+定义系统：TLA+语言与工具在软硬件设计中的应用：the TLA+ language and tools for hardware and software engineers |
|
|
题名/责任者:
|
用TLA+定义系统 / (美) 莱斯利·兰伯特著 , 董路明, 贺志平译 |
|
ISBN:
|
978-7-111-67822-9 价格： CNY139.00 |
|
语种:
|
汉语 |
|
载体形态:
|
xiii, 314页 : 图 ; 26cm |
|
出版发行:
|
北京 : 机械工业出版社, 2021 |
|
内容提要:
|
本书介绍了形式化建模语言TLA+以及模型检查工具TLC，并结合若干案例，描述了从数学原理到系统建模的哲学思想，以及从建模语言的工程实践到模型验证工具的运用技巧等内容。 |
|
主题词:
|
计算机 系统设计 |
|
主题词:
|
并发程序设计 |
|
中图分类法
:
|
TP302.1 版次： 5 |
|
中图分类法
:
|
TP311.11 版次： 5 |
|
其它题名:
|
TLA+语言与工具在软硬件设计中的应用 |
|
主要责任者:
|
兰伯特 著 |
|
次要责任者:
|
董路明 译 |
|
次要责任者:
|
贺志平 译 |
|
标签:
|
|
|
相关主题:
|
|
|
相关资源:
|
|
|
分享资源:
|
|
限定所在馆:
限定所在馆藏地点:
限定馆藏状态:
HEA| |01991cam 2200397 450 001| |012021017191 005| |20210706090745.7 010| |▼a978-7-111-67822-9▼dCNY139.00 099| |▼aCAL 012021065985 100| |▼a20210702d2021 em y0chiy50 ea 101|1 |▼achi▼ceng 102| |▼aCN▼b110000 105| |▼aa z 000yy 106| |▼ar 200|1 |▼a用TLA+定义系统▼Ayong TLA+ ding yi- | | xi tong▼eTLA+语言与工具在软硬件设计中的应用▼- | |f(美) 莱斯利·兰伯特著▼d= Specifying sy- | |stems▼ethe TLA+ language and t- | |ools for hardware and software- | | engineers▼fLeslie Lamport▼g董路- | |明, 贺志平译▼zeng 210| |▼a北京▼c机械工业出版社▼d2021 215| |▼axiii, 314页▼c图▼d26cm 225|2 |▼a计算机科学丛书▼Aji suan ji ke xue cong shu 225|2 |▼a中兴通讯技术丛书▼Azhong xing tong xu- | |n ji shu cong shu 305| |▼a据2003年英文版译出 306| |▼a由Pearson Education(培生教育出版集团)- | |授权出版 限中国大陆发行 330| |▼a本书介绍了形式化建模语言TLA+以及模型检查工具TLC，- | |并结合若干案例，描述了从数学原理到系统建模的哲学思想，以及从- | |建模语言的工程实践到模型验证工具的运用技巧等内容。- 410| 0|▼12001 ▼a计算机科学丛书 410| 0|▼12001 ▼a中兴通讯技术丛书 500|10|▼aSpecifying systems : the TLA- | |+ language and tools for hardw- | |are and software engineers▼mChinese 517|1 |▼aTLA+语言与工具在软硬件设计中的应用▼ATLA+ yu- | | yan yu gong ju zai ruan ying - | |jian she ji zhong de ying yong 606|0 |▼a计算机▼Aji suan ji▼x系统设计 606|0 |▼a并发程序设计▼Abing fa cheng xu she ji 690| |▼aTP302.1▼v5 690| |▼aTP311.11▼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▼b浙江省新华书店集团公司▼c20210422 801| 2|▼aCN▼bWHUTL▼c20210706 998| |▼aPUL
- 温馨提示：只有“所在馆位置”为“社科自科借阅室、文学借阅室”且“馆藏状态”为“在馆”的图书才能借出，其他“馆藏地点”的书均不可借出。
- “所在图书馆”为“典阅室”的图书只能在室内阅览。
- 查询期刊“现刊架号”请查“报刊指南->期刊分类查询表”。