机读格式显示(MARC)

• 000 01181nam2 2200349 4500

• 000 0000075304

• 001 0000061560

• 005 20030506163837.0

• 009 002239528

• 010 __ |a 7-118-02972-6 |d CNY23.00

• 035 __ |a 002239528

• 100 __ |a 20030501d2003 em y0chiy0110 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 10 |a 程序设计方法学 |9 cheng xu she ji fang fa xue |f 胡正国等编著

• 210 __ |a 北京 |c 国防工业出版社 |d 2003

• 215 __ |a 266页 |d 26cm

• 330 __ |a 本书主要介绍了程序设计方法学这一新兴学科的主要内容，即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明等程序设计方法学的基础知识。

• 606 0_ |a 程序设计 |x 方法 |A Chengxusheji

• 606 0_ |2 CT |3 S008424 |a 程序设计 |A Chengxusheji

• 690 __ |a TP311.11 |v 4

• 701 _0 |a 胡正国 |9 hu zheng guo |4 编著

• 701 _0 |a 吴健 |4 编著 |9 Wujian

• 701 _0 |a 邓正宏 |4 编著 |9 Dengzhenghong

• 801 _0 |a CN |b NLC |c 20030324

• 801 _2 |a CN |b 261060 |c 20030506

• 905 __ |a XATU |d TP311.11/38

• 991 __012003005329

• 995 __ |a 261060 |f TP311.11/38

• 999 __ |t C |A cxj |a 20030501 15:31:22 |M cxj |m 20030501 15:32:08 |I zw |i 20030506 16:38:37 |G zw |g 20030506 16:38:4