程序设计方法学 在线电子书 图书标签: 计算机科学 程序设计语言 导论 2008
发表于2024-11-21
程序设计方法学 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024
不知所云
评分不知所云
评分不知所云
评分不知所云
评分不知所云
《程序设计方法学(第2版)》主要介绍程序设计方法学这一新兴学科的主要内容,即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序的形式推导技术、程序变换技术、面向对象的设计方法和大型程序设计方法学基础等。
评分
评分
评分
评分
程序设计方法学 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024