MARC 닫기
00000cam u2200205 u 4500
000000300805
20181203103654
811207s1982 us a b 001 eng
▼a 81022637 //r882
▼a 083597023X:
▼c $21.95
▼a DLC
▼c DLC
▼d 211047
▼a 001.642
▼2 19
▼a 001.642
▼b L58s
▼a Lewis, T. G.,
▼d 1941-.
▼a Software engineering:
▼b analysis and verification/
▼d T.G. Lewis.
▼a Reston, Va.:
▼b Reston Pub. Co.,
▼c c1982.
▼a 470 p.:
▼b ill.;
▼c 24 cm.
▼a Includes bibliographies and index.
▼a Software engineering.
▼a Computer software
▼x Verification.
▼a SOFTWARE
▼a ENGINEERING
▼a ANALYSIS
▼a AND
▼a VERIFICATION
▼a future2096
▼b 김자옥
▼a 단행본
▼a 001.642
▼b L58s
| 자료유형 : | 단행본 |
|---|---|
| ISBN : | 083597023X: |
| 분류기호 : | 001.642 |
| 개인저자 : | Lewis, T. G., 1941-. |
| 서명/저자사항 : | Software engineering: analysis and verification/ T.G. Lewis. |
| 발행사항 : | Reston, Va.: Reston Pub. Co., c1982. |
| 형태사항 : | 470 p.: ill.; 24 cm. |
| 서지주기 : | Includes bibliographies and index. |
| 일반주제명 : | Software engineering. -- |
| 일반주제명 : | Computer software -- Verification. -- |
| 분류기호 : | 001.642 |
| 언어 | 영어 |
서평쓰기