机读格式显示(MARC)
- 000 00781nam 2200265 a 4500
- 008 050307s1982 vaua b 001 0 eng
- 010 __ |a 81022637 //r882
- 050 00 |a QA76.6 |b .L477 1982
- 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 bibliographies and index.
- 650 _0 |a Software engineering.
- 650 _0 |a Computer software |x Verification.
- 950 __ |a JHUL |b TP31 |c L676