机读格式显示(MARC)

• 000 00966nam 22200289 4450

• 001 0000234873

• 005 20011128084246.5

• 010 __ |a 7-111-03282-9 |d $2.75

• 100 __ |a 19930115d1992 em y0chiy0121 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 10 |a 程序设计方法学教程 |f 刘宗田编著 |F LIU ZONG TIAN BIAN ZHU |A CHENG XU SHE JI FANG FA XUE JIAO CHENG

• 210 __ |a 北京 |b 北京 |c 机械工业出版社 |d 1992.10

• 215 __ |a 134页 |d 26cm

• 300 __ |a 高等学校试用教材

• 330 __ |a 本书介绍了程序设计方法学所含的结构程序设计、程序的正确性证明、不动点理论、程序推导和变换等内容。

• 540 1_ |a 程序设计 方法学 |A CHENG XU SHE JI FANG FA XUE

• 606 __ |a 程序设计 |x 高等学校 |x 教材

• 610 __ |a 程序 |a 设计 |a 方法学 |a 法学 |a 教程

• 690 __ |a TP311.1

• 690 __ |a TP31 |v 三版

• 701 _0 |a 刘宗田 |4 编著 |A LIU ZONG TIAN

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

• 801 _0 |a CN |b Library |c 20011128 |U sa

• 905 __ |a JHUL |d TP311.1/24