도서

정형기법 = Formal methods

저자사항

이문근 저 

발행사항

전주: 전북대학교출판문화원, 2017  

형태사항

571 p.; 24 cm  

일반노트

2018년 세종도서 학술부문 선정도서임  

ISBN

9791187892502 

주제어/키워드

정형기법 컴퓨터모델링 소프트웨어개발 

소장기관

진부도서관