MARC 닫기
00566nam ac200193 k 4500
000000174562
20220101120000
ta
050630s1982 US 000 eng
▼a 083597023X
▼a 123456
▼c 123456
▼d 211070
▼l WM6805
▼a QA76.6
▼a QA76.6
▼b L477
▼a Lewis,T.G
▼a Software Engineering:
▼b analysis and verification/
▼d Lewis,T.G.
▼a Reston:
▼b Reston Publishing Co.,
▼c 1982.
▼a 470p.;
▼c 25cm.
▼a Electronic digitial computers
▼a Programming
▼a Computer programs
▼a Verification
▼a 단행본
서평쓰기