本书兼顾理论与实际。从实际方面来说，不是追求个别技巧，而是介绍如何根据断言和已知程序进行程序设计方面的系统方法，为进一步研究程序设计方法学打下基础。从理论方面来说，不是过分追求数学上的严谨，而是要与程序理论、语言理论、数据结构理论在观念上衔接起来。
本书可作为理科大学计 算机系的教学参考书，也可供有关人员参考。
具体描述
读后感
评分
评分
评分
评分
评分
用户评价
评分
评分
评分
评分
评分
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有