태안군립도서관

통합검색
상세검색 다국어 입력기
시립도서관
선택한 기관 검색 선택해제
작은도서관
도서관 더보기 도서관 닫기

자료검색 > 상세페이지

기관

태안군립중앙도서관
감추기

자료형태

저자

발행처

발행년도

KDC 카테고리

등록된 이미지가 없습니다.
KDC : 003.3
도서 정형기법 = Formal methods
  • ㆍ저자사항 이문근 저
  • ㆍ발행사항 2017 571 p. ; 24 cm 권말
  • ㆍ형태사항 본
  • ㆍ일반노트 은 한국어, 영어가
  • ㆍISBN CIP201
  • ㆍ주제어/키워드 1961- \25000 
  • ㆍ소장기관 태안군립중앙도서관

소장정보

소장정보
구분 선택 낱권정보 자료실 / 청구기호 반납예정일 자료상태 skin (interLoan)
GM0000049633 [태안중앙]일반자료실
003.3-이36ㅈ 		- 예약불가
대출가능 		신청하기
관심도서 담기 관심도서 보기

당진시립도서관

COPYRIGHT © TAEAN COUNTRY LIBRARY. ALL RIGHT RESEVED.

통합검색 신착도서 대출베스트 희망자료신청 내서재