用TLA+定义系统:TLA+语言与工具在软硬件设计中的应用
(美)莱斯利·兰伯特(Leslie Lamport)
机械工业出版社
9787111678229
2021年04月
¥139.00
¥55.60
¥52.80
¥44.50
0元包邮! 送5560积分[详细介绍]购满0.1元免运费! 领券
有路自营缺货
¥79.60
库存1本
3522笔交易
长沙市