机读格式显示(MARC)

• 000 00714nam 2200241 i 4500

• 001 0000153263

• 003 CAL

• 005 20060904151200.0

• 008 060904s1979 nyua b 001 0 eng

• 010 __ |a 78009321

• 020 __ |a 0471033952

• 040 __ |a DLC |c DLC |d FDU |d NOR

• 090 __ |a 73.87Q14

• 093 __ |a TP31

• 094 __ |a 73.87Q14 |2 3

• 099 __ |a CAL 022000334543

• 100 1_ |a Anderson, Robert Brockett, |d 1941-

• 245 10 |a Proving programs correct / |c Robert B. Anderson.

• 260 __ |a New York : |b Wiley, |c c1979.

• 300 __ |a viii, 184 p. : |b ill. ; |c 23 cm.

• 504 __ |a includes bibliographical reference (p. 170-182) and index.

• 650 _0 |a Computer programs |x Testing.

• 650 _0 |a Debugging in computer science.