机读格式显示(MARC)

• 000 00469nam2 2200181 4500

• 001 0000242840

• 020 __ |a |c ￥0.00

• 041 0_ |a eng

• 093 __ |a TP31 |v 4

• 245 1_ |a Software engineering : analysis and verification |c Lewis , Theodore Gyle. |g |A SOFTWARE |F LEWIS,THEODORE

• 250 __ |a

• 260 __ |a Reson |b Reston Pub. Co. |c 1982

• 300 __ |a 470c

• 440 0_ |a

• 700 _0 |a Lewis , Theodore Gyle. |A LEWIS,THEODORE |4 著

• 851 _0 |a CN |b HIEL

• 905 __ |a HIEL |d TP31/L4.2

• 999 __ |b 1