您的当前位置:全部分类图书 > 计算机网络 > 程序设计 > 其它语言

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

定 价 139.00
售 价
配送至
浙江杭州
免邮费
收货地址
其他地址
请选择
请选择
请选择
北京
天津
河北
山西
内蒙古
辽宁
吉林
黑龙江
上海
江苏
浙江
安徽
福建
江西
山东
河南
湖北
湖南
广东
广西
海南
重庆
四川
贵州
云南
西藏
陕西
甘肃
青海
宁夏
新疆
销量 请登录后刷新查看
库存 请登录后刷新查看

收藏

服务
  • 包装:平装
  • 出版社:机械工业
  • ISBN:9787111678229
  • 作者:[美]莱斯利·兰伯特(Leslie Lamport)
  • 页数:314
  • 出版日期:2021-04-01
  • 印刷日期:2021-04-01
  • 开本:16开
  • 版次:1
  • 印次:1