返 回商品信息 导航
用TLA+定义系统：TLA+语言与工具在软硬件设计中的应用
作       者:

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

出  版 社:

机械工业出版社 

  I S B N:

9787111678229 

出版日期:

2021年04月 

定       价:

￥139.00

售       价:

￥79.60

注：您当前是在入驻店铺购买。
数       量:

— + 库存1件

关于库存、售价、配送费等信息建议联系店主咨询

本店已缴纳保证金,请放心购买!
客服
进店

购物车

内容提要

图书目录

作者介绍

客服咨询