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

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

Black Bg

전체메뉴

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

전체메뉴닫기

정회원신청

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

취소 확인
닫기
검색

검색

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

    MARC 닫기

    • LDR

      00807nam ac200265 k 4500

    • 001

      000000699723

    • 005

      20220619185336

    • 007

      ta

    • 008

      971027s1996 uk a 001a eng

    • 020

      ▼a  0123490405:
      ▼c  ＄49.95

    • 040

      ▼a  248023
      ▼c  248023
      ▼d  111314

    • 049

      ▼l  EM129020

    • 082

      ▼a  371.1

    • 090

      ▼a  371.1
      ▼b  D281t

    • 100

      ▼a  Dean, C. Neville.

    • 245

      ▼a  Teaching and learning formal methods/
      ▼d  by C. Neville Dean;
      ▼e  Michael G. Hinchey.

    • 260

      ▼a  London:
      ▼b  Academic press,
      ▼c  1996.

    • 300

      ▼a  xvi,285p.:
      ▼b  illus.;
      ▼c  23cm.

    • 490

      ▼a  Academic press international series in formal methods

    • 504

      ▼a  Includes bibliographical references and index

    • 653

      ▼a  TEACHING
      ▼a  LEARNING
      ▼a  FORMAL
      ▼a  METHODS

    • 700

      ▼a  Hinchey, Michael G.,
      ▼e  jt,

    • 950

      ▼b  \48900

    • 990

      ▼a  FUTURE

    • 991

      ▼a  단행본

  • 바구니담기

    바구니 담기 완료

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

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

    신규서재 추가

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

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

    * 공개수준

    닫기

    내서재 담기

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

    내보내기

    선택목록저장

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

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

    닫기
    닫기

상세정보

Teaching and learning formal methods

QR코드
표지이미지
도서 상세정보
자료유형 : 단행본
ISBN : 0123490405: 
분류기호 : 371.1 
개인저자 : Dean, C. Neville.
서명/저자사항 : Teaching and learning formal methods/  by C. Neville Dean;  Michael G. Hinchey. 
발행사항 : London:  Academic press,  1996. 
형태사항 : xvi,285p.:  illus.;  23cm. 
총서사항 : Academic press international series in formal methods 
서지주기 : Includes bibliographical references and index 
개인저자 : Hinchey, Michael G., jt,
언어 영어

소장정보

    • 예예약
    • 인인쇄
    • SSMS
    • 서서가부재
    • 보보존서고
    • 우우선정리예약
    • 무무인예약대출

    예약

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

    무인예약대출

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

    서평

    서평쓰기

    서평쓰기

    서평쓰기
    취소
    닫기

    태그

    태그추가

    태그추가

    취소
    닫기

    QR코드

    취소
    닫기
    GO
    (51704)경남 창원시 진해구 중원로1(남빈동) 사서함 88-2-5호 | TEL:(055)907-5356,5355

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

    • 당일13398
    • 전일11162
    • 전체14479910
    챗봇

    도서관 검색봇 서비스 앤디

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