자료검색
>
상세페이지
목록으로
marc 보기
기관
연암
서부(4)
어린이전문(1)
비봉어린이
도동어린이
혁신어린이(4)
남부어린이(5)
평거동새마을문고
상대동새마을열린도서관
글샘누리새마을문고
금산아이파크새마을문고
달팽이어린이
금빛마을(2)
빛나는도서관
채움
새싹
마하어린이(3)
하대현대우리
글담작은도서관
망경동지식산업센터
중앙지하상가
푸른마을도서관
파미르작은도서관(1)
감추기
자료형태
전체
(0)
도서
(0)
전자책(e-book)
(0)
오디오북
(0)
DVD(영화)
(0)
저자
발행처
발행년도
KDC 카테고리
도서
정형기법 = Formal methods
ㆍ저자사항
이문근 저
ㆍ발행사항
전주: 전북대학교출판문화원, 2017
ㆍ형태사항
571 p.; 24 cm
ㆍ일반노트
2018년 세종도서 학술부문 선정도서임
ㆍISBN
9791187892502
ㆍ주제어/키워드
정형기법
컴퓨터모델링
소프트웨어개발
ㆍ소장기관
연암
소장정보
구분, 낱권정보, 소장처, 별치, 자료상태, 반납예정일, 예약, 상호대차를 안내하는 표입니다.
구분
낱권정보
자료실 / 청구기호
자료상태
반납예정일
예약
상호대차
도서관서비스
EM0000295359
2층 종합자료실
대출가능
-
예약불가
신청하기
상호대차서비스 신청은 대출가능 소장도서만 가능합니다.
관심도서 담기
관심도서 보기
상세정보
▶ 이 책은 컴퓨터공학의 정형기법에 대해 다룬 도서입니다. 정형기법의 기초적이고 전반적인 내용을 학습할 수 있도록 구성했습니다.
[NAVER 제공]