리더 | 00575nam 2200229 k 4500 | |
---|---|---|
TAG | IND | 내용 |
001 | KMO201900258 | |
005 | 20190203143051 | |
008 | 190104s2017 jbk OC 000a kor | |
020 | 9791187892502 93000: \25000 | |
040 | 142033 142033 | |
041 | 0 | kor eng |
056 | 003.3 25 | |
090 | 003.3 이37ㅈ | |
245 | 00 | 정형기법= Formal methods/ 이문근 지음 |
260 | 전주: 전북대학교출판문화원, 2017 | |
300 | 571 p.; 24 cm | |
500 | 2018년 세종도서 학술부문 선정도서임 권말부록 수록 | |
653 | 정형기법 컴퓨터모델링 소프트웨어개발 | |
700 | 1 | 이문근 |
950 | 0 | \25000 |
049 | 0 | 010000055786 |