Program Design Calculi

计算机软件

售   价:
1768.00
作      者
出  版 社
出版时间
1993年12月16日
装      帧
精装
ISBN
9783540569435
复制
页      码
409
语      种
英语
综合评分
暂无评分
我 要 买
- +
库存 100 本
  • 图书详情
  • 目次
  • 买家须知
  • 书评(0)
  • 权威书评(0)
图书简介
The development of information processing systems requiresmodels, calculi, and theories for the analysis ofcomputations. Complex software systems are best constructedin a careful, systematic, and disciplined structuring of thedevelopment process. Starting from basic requirementspecifications in which all the relevant details areformalized, the envisaged solution should be developed stepby step by adding more and more details and giving evidenceor formal proofs to show the correctness of the steps, untila description of a solution
本书暂无推荐
本书暂无推荐
看了又看
  • 上一个
  • 下一个