본문

서브메뉴

검색

  1. Home
모델 체킹을 통한 조합 회로의 정형 검증
모델 체킹을 통한 조합 회로의 정형 검증 / 안영정 공저 , 송관호 , 최진영
모델 체킹을 통한 조합 회로의 정형 검증

상세정보

자료유형  
 기사
ISSN  
15985164
저자명  
안영정
서명/저자  
모델 체킹을 통한 조합 회로의 정형 검증 / 안영정 공저 , 송관호 , 최진영
발행사항  
서울 : 한국정보과학회, 2006.
형태사항  
pp. 433-436
키워드  
모델 통한 조합 회로 정형 검증
기타저자  
송관호
기타저자  
최진영
기본자료저록  
학술대회 논문집 A : 제33권 제2호 (2006년 10월) 2006, 10
모체레코드  
모체정보확인
Control Number  
kjul:60086027

MARC

 008061214s2006        ULKa    a                          KOR
■022    ▼a15985164
■1001  ▼a안영정
■245    ▼a모델  체킹을  통한  조합  회로의  정형  검증▼d안영정  공저▼e송관호▼e최진영
■260    ▼a서울▼b한국정보과학회▼c2006.
■300    ▼app.  433-436
■653    ▼a모델▼a통한▼a조합▼a회로▼a정형▼a검증
■7001  ▼a송관호
■7001  ▼a최진영
■773    ▼t학술대회  논문집  A▼g제33권  제2호  (2006년  10월)▼d2006,  10
■SIS    ▼aS035737▼b60079200▼h8▼s2

미리보기

내보내기

chatGPT토론

Ai 추천 관련 도서


    신착도서 더보기
    관련도서 더보기
    최근 3년간 통계입니다.
    추천하기

    소장정보

    • 예약
    • 서가에 없는 책 신고
    • 나의폴더
    • 논문작성 참고자료
    • 연구윤리 참고자료
    • 취업관련도서
    소장자료
    등록번호 청구기호 소장처 대출가능여부 대출정보
    AR42253 P   참고자료실(관광학관2층) 대출불가 대출불가
    마이폴더 부재도서신고

    * 대출중인 자료에 한하여 예약이 가능합니다. 예약을 원하시면 예약버튼을 클릭하십시오.

    해당 도서를 다른 이용자가 함께 대출한 도서

    관련도서

    관련 인기도서

    도서위치