자료유형 | 단행본 |
---|---|
서명/저자사항 | Path-oriented program analysis [electronic resource] / J.C. Huang. |
개인저자 | Huang, J. C., 1935-. |
단체저자명 | NetLibrary, Inc. |
발행사항 | Cambridge ; New York: Cambridge University Press, 2008. |
형태사항 | xii, 199 p. : ill. ; 24 cm. |
ISBN | 9780511371370 (electronic bk.) 0511371373 (electronic bk.) |
서지주기 | Includes bibliographical references (p. 191-193) and index. |
내용주기 | State constraints -- Subprogram simplification -- Program set -- Pathwise decomposition -- Tautological constraints -- Program recomposition -- Discussion -- Automatic generation of symbolic traces. |
복제주기 | Electronic reproduction. Boulder, Colo. : NetLibrary, 2008. Available via World Wide Web. Access may be limited to NetLibrary affiliated libraries. |
일반주제명 | Computer software --Development. Computer software --Development --Computer programs. |
분류기호(DDC) | 005.1 |
언어 | 영어 |
바로가기 |
: An electronic book accessible through the World Wide Web; click for information |
보존/밀집/기증 자료 신청 분관대출 서가부재도서 무인예약대출 배달서비스 소장위치출력
No. | 등록번호 | 청구기호 | 소장처 | 밀집번호 | 도서상태 | 반납예정일 | 예약 | 서비스 | 매체정보 |
---|---|---|---|---|---|---|---|---|---|
1 | E170648 | EB 005.1 | 중앙도서관[본관]/E-Book/ | 대출가능 |