附件:设置1:设置2:吴健设置3:本书主要介绍程序设计方法学这一新兴学科的主要内容, 即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序的形式推导技术、程序变换技术、面向对象的设计方法和大型程序设计方法学基础等。摘要:有书目 (第265-266页)
附注提要
本书主要介绍程序设计方法学这一新兴学科的主要内容, 即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序的形式推导技术、程序变换技术、面向对象的设计方法和大型程序设计方法学基础等。