리더 | 00659pam a2200253 c 4500 | |
---|---|---|
TAG | IND | 내용 |
001 | KMO202000573 | |
005 | 20200108153505 | |
008 | 200108s2019 ulk 000 kor | |
020 | 9791187892502 93000: \25000 | |
040 | 142028 142028 | |
041 | 0 | kor eng |
056 | 003.3 26 | |
090 | 003.3 이37ㅈ | |
245 | 00 | 정형기법 = Formal methods / 이문근 지음 |
260 | 전주 : 전북대학교출판문화원, 2019 | |
300 | 571 p. ; 24 cm | |
500 | 권말부록 수록 | |
546 | 본문은 한국어, 영어가 혼합수록됨 | |
650 | 8 | 소프트웨어 개발 컴퓨터 모델링 |
653 | 정형기법 FORMAL METHODS | |
700 | 1 | 이문근, 1961- |
950 | 0 | \25000 |
049 | 0 | EM0000054695 |