机读格式显示(MARC)

• 000 00439nam2 2200181 4500

• 001 0000247708

• 020 __ |a |c ￥1.10

• 041 0_ |a eng

• 093 __ |a TP31 |v 4

• 245 1_ |a proving programs correct |c Anderson , Robert B |g |A PROVINGP |F ANDERSON,ROBERTB

• 250 __ |a

• 260 __ |a New York |b John Wiley |c 1979

• 300 __ |a 184c

• 440 0_ |a

• 700 _0 |a Anderson , Robert B |A ANDERSON,ROBERTB |4 著

• 851 _0 |a CN |b HIEL

• 905 __ |a HIEL |d TP31/A2

• 999 __ |b 1