潘苏蓉，梁迪主编；宿苏英，康凤华，张正贵副主编2012 年出版250 页ISBN：9787111386896
本书的主要内容为：AutoCAD2012概述、AutoCAD2012的基础操作、基本绘图命令、图形编辑方法、图层与对象特性、文本标注和表格、尺寸标注、图块与外部参照、图形输出、AutoCAD 2012的其他功能、三维绘图、综合...
胡正国，吴健，邓正宏编著2009 年出版266 页ISBN：9787118060515
本书主要介绍了程序设计方法学这一学科的主要内容，即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序开线推导、程序变换技术等。...
