자료검색
>
상세페이지
목록
marc 보기
기관
강화도서관(1)
내가도서관
길상작은도서관
지혜의 숲 도서관(1)
감추기
자료형태
전체
(0)
도서
(0)
전자책(e-book)
(0)
오디오북
(0)
DVD(영화)
(0)
저자
발행처
발행년도
KDC 카테고리
도서
정형기법 = Formal methods
ㆍ저자사항
이문근 저
ㆍ발행사항
전주: 전북대학교출판문화원, 2017
ㆍ형태사항
571 p.; 24 cm
ㆍ일반노트
2018년 세종도서 학술부문 선정도서임 권말부록 수록
ㆍISBN
9791187892502
ㆍ주제어/키워드
정형기법
컴퓨터모델링
소프트웨어개발
ㆍ소장기관
강화도서관
소장정보
소장정보
구분
KM0000054276
낱권정보
자료실 /
청구기호
[강화]종합자료실
003.3-이36정
자료상태
대출가능
반납예정일
-
예약
예약불가
상호대차
신청하기
소장정보
구분
낱권정보
자료실 / 청구기호
자료상태
반납예정일
예약
상호대차
KM0000054276
[강화]종합자료실
003.3-이36정
대출가능
-
예약불가
신청하기
상호대차서비스 신청은 대출가능 소장도서만 가능합니다.
관심도서 담기
관심도서 보기
상세정보
▶ 이 책은 컴퓨터공학의 정형기법에 대해 다룬 도서입니다. 정형기법의 기초적이고 전반적인 내용을 학습할 수 있도록 구성했습니다.
[NAVER 제공]