用TLA+定义系统：TLA+语言与工具在软硬件设计中的应用 - [美]莱斯利·兰伯特(Leslie Lamport)

用TLA+定义系统：TLA+语言与工具在软硬件设计中的应用

[美]莱斯利·兰伯特(Leslie Lamport)

出版社

机械工业出版社

出版时间

未知

ISBN

9787111678229

评分

★★★★★

标签

机械工业出版社的其他书籍查看全部

求书

收藏