소장자료
LDR | 01452camua2200253 a 4500 | ||
001 | 0000139905▲ | ||
005 | 20180519190042▲ | ||
008 | 900221s1990 ne a b 100 0 eng ▲ | ||
020 | ▼a 044488372X (U.S.)▲ | ||
040 | ▼a DLC ▼c DLC ▼d DLC▲ | ||
050 | 0 | 0 | ▼a TK7874 ▼b .I3283 1989▲ |
082 | 0 | 0 | ▼a 621.39/5 ▼2 20▲ |
090 | ▼a 621.395 ▼b I23f▲ | ||
111 | 2 | 0 | ▼a IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design ▼d (1989 : ▼c Houthalen, Belgium)▲ |
245 | 1 | 0 | ▼a Formal VLSI specification and synthesis : ▼b VLSI design methods I : ▼b proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design / ▼c sponsored by IMEC, Houthalen, Belgium, 13-16 November, 1989 ; edited by Luc J.M. Claesen.▲ |
260 | 0 | ▼a Amsterdam ; ▼a New York : ▼b North-Holland ; ▼a New York, N.Y. : ▼b Distributed for the U.S. and Canada, Elsevier Science Pub. Co. , ▼c 1990.▲ | |
300 | ▼a xv, 414 p. : ▼b ill. ; ▼c 23 cm.▲ | ||
504 | ▼a Includes bibliographical references.▲ | ||
650 | 0 | ▼a Integrated circuits ▼x Very large scale integration ▼x Design and construction ▼x Data processing ▼x Congresses.▲ | |
650 | 0 | ▼a Computer-aided design ▼x Congresses.▲ | |
650 | 0 | ▼a Integrated circuits ▼x Very large scale integration ▼x Testing ▼x Congresses.▲ | |
700 | 1 | 0 | ▼a Claesen, Luc J. M.▲ |
710 | 2 | 0 | ▼a International Federation for Information Processing.▲ |
710 | 2 | 0 | ▼a Interuniversity Micro-Electronics Center.▲ |
Formal VLSI specification and synthesis : VLSI design methods I : proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design
자료유형
국외단행본
서명/책임사항
Formal VLSI specification and synthesis : VLSI design methods I : proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design / sponsored by IMEC, Houthalen, Belgium, 13-16 November, 1989 ; edited by Luc J.M. Claesen.
개인저자
회의명
IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design, (1989, : Houthalen, Belgium)
발행사항
Amsterdam ; New York : North-Holland ; New York, N.Y. : Distributed for the U.S. and Canada, Elsevier Science Pub. Co. , 1990.
형태사항
xv, 414 p. : ill. ; 23 cm.
서지주기
Includes bibliographical references.
주제
ISBN
044488372X (U.S.)
청구기호
621.395 I23f
소장정보
예도서예약
서서가에없는책 신고
보보존서고신청
캠캠퍼스대출
우우선정리신청
배자료배달신청
문문자발송
출청구기호출력
학소장학술지 원문서비스
등록번호 | 청구기호 | 소장처 | 도서상태 | 반납예정일 | 서비스 |
---|
북토크
자유롭게 책을 읽고
느낀점을 적어주세요
글쓰기
느낀점을 적어주세요
청구기호 브라우징
관련 인기대출 도서