从规范出发的程序设计

  • 作者:[美]CarrollMorgan
  • 译者:裘宗燕
  • 定价:45.00元
  • ISBN:9787111108474
  • 出版社:机械工业出版社
  • 出版时间:2002-8

一句话评价

  • 0
    分析问题得到规范,然后严格推演,精化得到可执行程序code
0/50
回复

这本书还没有笔记,你会是第一个吗?