机读格式显示(MARC)

• 000 00973cam 2200301 a 4500

• 000 1000102480

• 001 0000325521

• 005 20100107152744.0

• 008 981216s1982 vaua b 001 0 eng

• 010 __ |a 81022637 //r882

• 020 __ |a 083597023X : |c CNY5.50

• 040 __ |c SJT

• 050 0_ |a QA76.6 |b .L477 1982

• 082 0_ |a 001.64/2 |2 19

• 090 __ |a TP31/LTG

• 093 __ |a TP31 |2 4

• 099 __ |a CAL 022000334625

• 100 1_ |a Lewis, T. G. |q (Theodore Gyle), |d 1941-

• 245 10 |a Software engineering : |b analysis and verification / |c T.G. Lewis.

• 260 __ |a Reston, Va. : |b Reston Pub. Co., |c c1982.

• 300 __ |a x, 470 p. : |b ill. ; |c 25 cm.

• 504 __ |a Includes bibliographical references and index.

• 650 _0 |a Software engineering.

• 650 _0 |a Computer software |x Verification.

• 901 __022008001188

• 905 __ |a CAU |f TP31/LTG |b E0273383

• 907 __ |a CAU |f TP31/LTG |b E0273383

• 999 __ |t C |A zjyx |a 20080325 14:41:35 |I gxr |i 20100107 15:27:44 |G gxr |g 20100107 15:27:4