Formal Method:Industrial Used from Model to the Code

形式方法:工业用从模型到代码

铁路运输

原   价:
2070
售   价:
1656.00
优惠
平台大促 低至8折优惠
发货周期:预计3-5周发货
作      者
出  版 社
出版时间
2012年06月07日
装      帧
精装
ISBN
9781848213623
复制
页      码
384
开      本
93x63x10mm
语      种
英文
综合评分
暂无评分
我 要 买
- +
库存 30 本
  • 图书详情
  • 目次
  • 买家须知
  • 书评(0)
  • 权威书评(0)
图书简介
Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language.
本书暂无推荐
本书暂无推荐
看了又看
  • 上一个
  • 下一个