机读格式显示(MARC)

• 000 01067nam 22200289 4450

• 001 0000231900

• 005 20011127151840.1

• 010 __ |a 7-308-00091-5 |d $2.95

• 020 __ |b 88009154 |a CN

• 100 __ |a 19910415d1988 m y0chiy0120 ea

• 101 0_ |a chi

• 102 __ |a CN |b 330000

• 105 __ |a y z 000yy

• 200 10 |a 程序设计方法学 |f 冯树椿,徐六通编著 |F feng shu chun , xu liu tong bian zhu |A cheng xu she ji fang fa xue

• 210 __ |a 杭州 |b 杭州 |c 浙江大学出版社 |d 1988.7

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

• 330 __ |a 本书内容涉及结构程序的概念、程序设计的主要控制结构、程序正确性的证明、数据类型抽象、递归方法、逐步求精法、模块设计和推导技术,最后介绍近几年新发展的程序变换技术。

• 540 1_ |a 程序设计方法学 |A cheng xu she ji fang fa xue

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

• 610 __ |a 程序 |a 设计 |a 方法学 |a 法学 |a 数据 |a 压缩 |a 原理 |a 应用

• 690 __ |a TP311.11

• 690 __ |a TP31 |v 1980

• 701 _0 |a 冯树椿 |4 编著 |A feng shu chun

• 701 _0 |a 徐六通 |4 编著 |A xu liu tong

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

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

• 905 __ |a JHUL |d TP311.11/46