자료유형 | 단행본 |
---|---|
서명/저자사항 | Logic based program synthesis and transformation [electronic resource]: 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers / Maurice Bruynooghe (ed.). |
개인저자 | Bruynooghe, M. (Maurice). |
발행사항 | Berlin ; New York: Springer, c2004. |
형태사항 | 1 online resource (x, 232 p.) : fig., tab. |
총서사항 | Lecture notes in computer science ;3018 |
기타형태 저록 | Print version: LOPSTR 2003 (2003 : Uppsala, Sweden). Logic based program synthesis and transformation. Berlin ; New York : Springer, c2004 3540221743 |
ISBN | 3540259384 (electronic bk.) 9783540259381 (electronic bk.) 3540221743 (pbk.) 9783540221746 (pbk.) 6610307822 (electronic bk.) 9786610307821 (electronic bk.) |
서지주기 | Includes bibliographical references and index. |
회의명 | LOPSTR 2003 (2003 : Uppsala, Sweden) |
일반주제명 | Logic programming --Congresses. COMPUTERS --Programming --Open Source. COMPUTERS --Software Development & Engineering --Tools. COMPUTERS --Software Development & Engineering --General. |
분류기호(DDC) | 005.115 |
언어 | 영어 |
바로가기 |
보존/밀집/기증 자료 신청 분관대출 서가부재도서 소장위치출력
No. | 등록번호 | 청구기호 | 소장처 | 밀집번호 | 도서상태 | 반납예정일 | 예약 | 서비스 | 매체정보 |
---|---|---|---|---|---|---|---|---|---|
1 | E175354 | EB 005.115 | 중앙도서관[본관]/E-Book/ | 대출가능 |