机读格式显示(MARC)

• 000 01153nam0 2200325 450

• 000 0000026312

• 001 0000024050

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

• 092 __ |a CN |b 02-632-2412

• 100 __ |a 20030417d ekmy0chiy0121 ea

• 101 __ |a chi |b eng

• 102 __ |a CN |b 110000

• 105 __ |a a z 000yy

• 106 __ |a r

• 200 10 |a 程序设计方法学 |A Cheng Xu She Ji Fang Fa Xue |f 胡正国，吴健等编著

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

• 215 __ |a 4,264页 |c 图表 |d 26cm

• 320 __ |a 有书目

• 330 __ |a 本书主要介绍程序设计方法学这一新兴学科的主要内容，即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序的形式推导技术、程序变换技术、面向对象的设计方法和大型程序设计方法学基础。

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

• 690 __ |a TP311.11 |v 4

• 701 _0 |a 胡正国 |A Hu Zheng Guo |4 编著

• 701 _0 |a 吴健 |A Wu Jian |4 编著

• 701 __ |a 邓正宏 |A Deng Zheng Hong |4 编著

• 801 __ |a CN |b ACADH |c 20030220

• 801 _2 |a CN |b SFT |c 20030417

• 905 __ |a GDPTC |d TP311.11/1

• 908 __ |a 0000026312

• 995 __ |a SFT |f TP311.11/1

• 999 __ |t C |A zwl |a 20030417 11:12:34 |M zwl |m 20030417 11:12:55 |G zwl |g 20030417 11:13:55