机读格式显示(MARC)

• 000 00940nam 22200277 4450

• 001 0000006254

• 005 20010707095550.6

• 010 __ |a 7-5609-0320-7 |d $1.60

• 100 __ |a 19960628d1989 em y0chiy0121 ea

• 101 0_ |a chi

• 102 __ |a CN |b 420000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 10 |a 程序设计方法学引论 |f 陶葆兰,李庆华编著 |F TAO BAO LAN , LI QING HUA BIAN ZHU |A CHENG XU SHE JI FANG FA XUE YIN LUN

• 210 __ |a 武汉 |b 武汉 |c 华中理工大学出版社 |d 1989.12

• 215 __ |a 241页 |d 20厘米

• 330 __ |a 本书论述了程序设计方法学的基本原理和方法,着重阐述程序构造和正确性证明同时进行,并以正确性证明为主导的研制程序的原则和方法。

• 540 1_ |a 程序 设计 方法 引论 |A CHENG XU SHE JI FANG FA YIN LUN

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

• 690 __ |a TP311.1

• 690 __ |a TP31

• 701 _0 |a 陶葆兰 |4 编著

• 701 _0 |a 李庆华 |4 编著

• 801 _0 |a CN |b Library |c 19960624 |U UnKnown

• 801 _2 |a CN |b Library |c 20010707 |U MARC

• 905 __ |a JHUL |d TP311/13