자료검색 > 상세페이지

KDC : 003.3
도서 정형기법 = Formal methods
  • ㆍ저자사항 이문근 저
  • ㆍ발행사항 전주 : 전북대학교출판문화원, 2017
  • ㆍ형태사항 571 p. ; 24 cm
  • ㆍ일반노트 권말부록 수록
  • ㆍISBN 9791187892502
  • ㆍ주제어/키워드 정형기법 FORMAL METHODS
  • ㆍ소장기관 연무도서관

소장정보

소장정보
등록번호 낱권정보 자료실 / 청구기호 / ISBN 자료상태 반납예정일 예약 상호대차서비스
GD0000016324 [연무]종합자료실
003.3-이299ㅈ
예약불가 - 예약불가 상호대차신청
관심도서 담기 관심도서 보기

상세정보

<▶ 이 책은 컴퓨터공학의 정형기법에 대해 다룬 도서입니다. 정형기법의 기초적이고 전반적인 내용을 학습할 수 있도록 구성했습니다.

도서정보 상세보기[NAVER 제공]

내가 찾은 검색어

인기검색어

  1. 일간
  2. 주간
  3. 월간

천안시도서관

본 웹사이트에 게시된 이메일 주소는 자동수집을 거부하며 이를 위반시 정보통신망법에 의해 처벌됨을 유념하시기 바랍니다.

(31127) 충남 천안시 동남구 중앙로 118 / Tel : 041-521-3721~2

Copyrightⓒ Cheonan-Si. All rights reserved.

Libropia QR code