返 回
(美)莱斯利·兰伯特(Leslie Lamport)
导航
首页
分类搜索
购物车
我的有路
共有商品数量2种。
用TLA+定义系统:TLA+语言与工具在软硬件设计中的应用
(美)莱斯利·兰伯特(Leslie Lamport)
机械工业出版社 / 2021年04月
¥139.00
/
¥55.6