[书籍] 程序设计方法学（第2版）
出版社:
国防工业出版社
简介:
程序设计方法学这一新兴学科的主要内容，即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序的形式推导技术、程序变换技术、面向对象的设计方法和大型程序设计方法学基础等。
用户推荐(0)
暂无推荐，你也可以发布推荐哦:)
0
人收藏了这本书籍
广告
登录 | 立即注册