程序正确性证明方法

¥37.05 ¥39.00
  • - +
       
  • 商品库存不足,请选择其他商品

相关推荐

新华推荐

  • 商品编码(ISBN)    9787564231699
  • 发行范围   0
  • 页数   129
  •   254
  • CIP核字   2018271163
  •   7
  • 正文语种   
  • 更多参数>>
普通信息
商品编码(ISBN) 9787564231699
出版时间 2018-12-01
出版社 上海财经大学出版社
作者 武斌
发行范围 0
页数 129
254
CIP核字 2018271163
7
正文语种
开本 16开
印刷时间 2018-12-01
包装 平装
出次 1
字数 124
出版商国别 CN
中图法分类号 TP311.1
首版时间 2018-12-01
印张 8.5
印次 1
出地 上海
170
240
读者对象 研究人员
我的足迹
您暂未有浏览记录~