（美）David W. Carroll 相关电子书下载

（美）迈克尔·W.贝瑞，（美）雅克布·柯岗编2019 年出版167 页ISBN：7111570509

（美）J.M. 盖尔，（美）W. 韦孚著；边启光译1980 年出版341 页ISBN：15047·4004

（美）安德·麦克里林，（美）格瑞·W.艾德瑞格著；张维红译2002 年出版418 页ISBN：7563337377

（美）乔治·M.邦兹（Gregory M.Bounds），（美）查尔斯·W.小兰姆（Charles W.Lamb）著；李丽等译2000 年出版672 页ISBN：7810446282

（美）韦恩 W.贝尼特（Wayne W.Bennett），（美）凯伦 M.希斯（Karen M.Hess）著；但彦铮等译2000 年出版801 页ISBN：7501422745

（美）R.L.莱尔利，（美）W.米切尔著；柴芳蓉译1981 年出版48 页ISBN：15175·319

（美）米勒（Miller，B.M.），（美）利茨基（Litsky，W.）著；居乃琥译1986 年出版625 页ISBN：15042.1909

（美）菲克特（Fickett，W.），（美）戴维斯（Davis，W.C.）著；薛鸿陆等译1988 年出版213 页ISBN：7502200134

全书内容为简单理论

（美）劳森（Lawson，G.），（美）利杰斯特兰德（Liljestrand，W.）著；孙振纯译1989 年出版137 页ISBN：7502103007

（美）Carroll Morgan著；裘宗燕译2002 年出版314 页ISBN：7111108477

本书详细论述了有关规范程序设计的内容，包括程序和精化、谓词演算、选择、构造类型、模块和封装等，还包含了大量的实例研究和一些更高级的程序设计技术。...