000    nam0
001 __ 0193016112
005 __ 20100303210214.0
010 __ ■a7-5612-0000-5■dCNY2.53
100 __ ■a19800101d1992    em y0chiy0110    ea
101 0_ ■achi
102 __ ■aCN■b610000
105 __ ■ay   z   000yy
106 __ ■ar
200 1_ ■a程序设计方法学■Acheng xu she ji fang fa xue■f胡正国,蔡经球编著
205 __ ■a2版(1992修订本)
210 __ ■a西安■c西北工业大学出版社■d1992.11
215 __ ■a268页■d19cm
300 __ ■a高等学校教材
314 __ ■a胡正国,西北工业大学计算机科学与工程系任教
314 __ ■a蔡经球,厦门大学计算机科学系任教
330 __ ■a内容包括:结构化程序、程序正确证明、递归程序及其正确证明、程序变化术等。
606 0_ ■a程序设计■x高等学校■x教材
606 0_ ■2CT■3S008424■a程序设计
690 __ ■aTP311.11■v三版
692 __ ■a73.87221
701 _0 ■a胡正国■Ahu zheng guo■4编著
701 _0 ■a蔡经球■Acai jing qiu■4编著
801 __ ■aCN■bNLC■c20100603