본문 바로가기

도서별 이용분석도서별 대출량과 대출 추이를 보실 수 있습니다.

정형기법 =Formal methods
Export

도서

저자정보 이문근 저
출판사 전북대학교출판문화원
책소개 ▶ 이 책은 컴퓨터공학의 정형기법에 대해 다룬 도서입니다. 정형기법의 기초적이고 전반적인 내용을 학습할 수 있도록 구성했습니다.
출판연월 2017 ISBN 9791187892502
Vol 주제분야 003.3 
[총류 > 총류 > 시스템]
총 대출건수 51

대출 추이

로딩 Loading...

추천도서

도서 소장 도서관

지역별 도서 소장 도서관을 조회합니다.
지역 세부 지역
No 도서관명 홈페이지 주소
지역 선택 후 조회하시기 바랍니다.