程序設計方法學

所属分类:軟件工程及軟件方法學  
出版时间:1988-07   出版时间:浙江大學出版社   作者:馮樹椿   页数:371  

内容概要

  《程序設計方法學》內容涉及結構程序的概念、程序設計的主要控制結構、程序正確性的證明、數據類型抽象、遞歸方法、逐步求精法、模塊設計和推導技術,最後介紹近幾年新發展的程序變換技術。

图书封面


    程序設計方法學下載



用户评论 (总计0条)

 
 

 

計算機與互聯網 PDF免费下载,軟件工程及軟件方法學PDF免费下载。 计算机教程网 

计算机教程网 @ 2017