(美)Carroll Morgan著;裘宗燕译2002 年出版314 页ISBN:7111108477
本书详细论述了有关规范程序设计的内容,包括程序和精化、谓词演算、选择、构造类型、模块和封装等,还包含了大量的实例研究和一些更高级的程序设计技术。...
Armando E.Fraire,PhilipT.Cagle,Richard S.Irwin,Dina R.Mody,Armin Ernst,Shanda Blackmon,Timothy C.Allen,Megan K.Dishop主编;杨连君,司晓辉主译2013 年出版201 页ISBN:7530462973