机读格式显示(MARC)

• 000 01006nam2 2200313 4500

• 000 1000008151

• 001 0000164438

• 005 20050127092003.0

• 008 011018s1990 maua b 101 0 eng

• 010 __ |a 89000102

• 020 __ |a 0201172372 |c CNY12.20

• 040 __ |a DLC |c XAIT

• 050 00 |a QA76.6 |b .F657 1990

• 082 00 |a 005.1 |2 19

• 090 __ |a TP311.52/E1

• 093 __ |a TP311.52 |2 4

• 099 __ |a CAL 022000232776

• 245 00 |a Formal development of programs and proofs / |c edited by Edsger W. Dijkstra.

• 260 __ |a Reading, Mass. : |b Addison-Wesley, |c c1990.

• 300 __ |a xiv, 242 p. : |b ill. ; |c 25 cm.

• 440 _4 |a The UT year of programming series

• 504 __ |a Includes bibliographical references.

• 650 _0 |a Computer programming |x Congresses.

• 700 1_ |a Dijkstra, Edsger Wybe

• 905 __ |a XATU |d TP311.52/E1

• 920 __ |a 261060 |z 1

• 950 __ |a 261060 |f TP311.52/E1

• 991 __022005004076

• 999 __ |t C |A zhaining |a 20050127 09:19:05 |M zhaining |m 20050127 09:20:03 |G zhaining |g 20050127 09:20:3