육군사관학교 학술정보원육군사관학교 학술정보원

전자 도서관에 오신 것을 환영합니다.

Black Bg

전체메뉴

도서관에 오신 것을 환영합니다.

전체메뉴닫기

정회원신청

정회원 신청은 대출이 가능한 소속 부대 도서관 홈페이지에서 요청하셔야 합니다.
정회원 신청 하시겠습니까?

취소 확인
닫기
검색

검색

  • Home
  • 기능목록
  • 검색
  • Marc 보기

    MARC 닫기

    • LDR

      00877nam ac200289 k 4500

    • 001

      000000499055

    • 005

      20220617165003

    • 007

      ta

    • 008

      070514s2005 us a 001a eng

    • 020

      ▼a  007144372X

    • 040

      ▼a  211047
      ▼c  211047
      ▼d  111314

    • 049

      ▼l  AZ0000241847

    • 082

      ▼a  621.3815

    • 090

      ▼a  621.3815
      ▼b  P42a

    • 245

      ▼a  Applied formal verification/
      ▼d  Douglas L. Perry;
      ▼e  Harry D. Foster.

    • 260

      ▼a  New York:
      ▼b  McGraw-Hill,
      ▼c  c2005.

    • 300

      ▼a  xiv, 237p.:
      ▼b  ill.;
      ▼c  24cm.

    • 440

      ▼a  McGraw-Hill electronic engineering

    • 500

      ▼a  Includes bibliographical references(p.227-229) and index

    • 653

      ▼a  APPLIED
      ▼a  FORMAL
      ▼a  VERIFICATION
      ▼a  MCGRAWHILL
      ▼a  ELECTRONIC
      ▼a  ENGINEERING

    • 700

      ▼a  Perry, Douglas L,

    • 700

      ▼a  Foster, Harry D,

    • 940

      ▼a  Electronic engineering

    • 950

      ▼b  \79000

    • 990

      ▼a  211047,김영미

    • 991

      ▼a  단행본

  • 바구니담기

    바구니 담기 완료

    자료를 바구니에 담았습니다.
    바구니로 이동하시겠습니까?

    취소 확인
    닫기
  • 내서재 담기

    신규서재 추가

    *표시는 필수사항 입니다.

    최대 한글 1000자, 영문 3000자까지 입력 가능 합니다.

    * 공개수준

    닫기

    내서재 담기

    저장 신규서재 추가 취소
    닫기
  • 내보내기

    내보내기

    선택목록저장

    RefWorks에서 이용 가능한 형식으로 반출합니다.

    EndNote에서 이용 가능한 형식으로 반출합니다.

    닫기
    닫기

상세정보

Applied formal verification

QR코드
표지이미지
도서 상세정보
자료유형 : 단행본
ISBN : 007144372X 
분류기호 : 621.3815 
서명/저자사항 : Applied formal verification/  Douglas L. Perry;  Harry D. Foster. 
발행사항 : New York:  McGraw-Hill,  c2005. 
형태사항 : xiv, 237p.:  ill.;  24cm. 
총서사항 : McGraw-Hill electronic engineering 
일반주기 : Includes bibliographical references(p.227-229) and index 
개인저자 : Perry, Douglas L,
개인저자 : Foster, Harry D,
언어 영어

소장정보

    • 예예약 신청
    • 인인쇄
    • S도서정보문자발송
    • 서서가부재자료신청
    • 보보존서고자료신청
    • 우우선정리예약
    • 무무인예약대출

    예약

    1. 1. 예약현황은 홈페이지 로그인 후 예약 페이지에 확인 가능합니다.
    2. 2. 도착 통보된 예약자료 대출을 원하지 않는 경우에는 예약 현황에서 취소할 수 있습니다.
    3. 3. 기타 문의사항은 도서관에 문의 바랍니다.
    취소
    닫기

    무인예약대출

    1. 1. 무인예약대출 현황은 홈페이지 로그인 후 무인예약대출 페이지에 확인 가능합니다.
    2. 2. 무인예약대출자료 대출을 원하지 않는 경우에는 무인예약대출 페이지에서 신청 또는 접수상태인 경우만 취소할 수 있습니다.
    3. 3. 희망대출일은 신청일로부터 최대 1주일 까지 가능합니다.
    4. 4. 희망대출일을 선택하지 않은 경우 대출대기 통보 후 1주일까지 기기에서 대출가능합니다.
    5. 5. 기타 문의사항은 도서관에 문의 바랍니다.
    취소
    닫기

    서평

    서평쓰기

    서평쓰기

    서평쓰기
    취소
    닫기

    태그

    태그추가

    태그추가

    취소
    닫기

    QR코드

    취소
    닫기
    [01805] 서울시 노원구 사서함 77-1 육군사관학교 학술정보원(도서관) | TEL:02)2197-6705, 6709(이용안내)

    COPYRIGHT© DIGITAL LIBRARY OF KOREA NATIONAL DEFENSE UNIVERSITY. ALL RIGHTS RESERVED.

    GO
    VISIT
    • 당일2097
    • 전일10543
    • 전체7815114
    챗봇

    도서관 검색봇 서비스 앤디

    • 도서관 대화형 검색봇 서비스 앤디입니다.