程序设计方法学 在线电子书 图书标签: 计算机 程序设计 教材
发表于2024-11-29
程序设计方法学 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024
太老了。
评分太老了。
评分太老了。
评分太老了。
评分太老了。
本书主要介绍程序设计方法学这一新兴学科的主要内容,即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序的形式推导技术、程序变换技术、面向对象的设计方法和大型程序设计方法学基础等。
本书可供大专院校计算机专业学生使用,也可供硕士研究生及从事计算机工作的科研人员参考。
评分
评分
评分
评分
程序设计方法学 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024