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

出版时间 2021-04-01T00:00 其他语言 39225

作者： [美]莱斯利·兰伯特(Leslie Lamport)
出版社： 机械工业
原售价: 139.00
折扣价: 97.60
折扣购买: 用TLA+定义系统：TLA+语言与工具在软硬件设计中的应用
ISBN： 9787111678229

作者简介