Ta上传的资源 (0)

程序设计方法学讲义第一章程序设计方法简介1、产生和发展2、程序设计的一般途径3、结构化程序设计及其讨论的主要问题第二章程序的控制结构1、基本控制结构2、goto语句3、过程与函数4、结构化程序和结构定理第三章程序的正确性证明1、程序的测试2、Floyd-Hoare规则公理方法3、Dijkstra最弱