| 리더 | 00562nam 2200217 k 4500 | |
|---|---|---|
| TAG | IND | 내용 |
| 001 | KMO201900095 | |
| 005 | 20190221110703 | |
| 008 | 190104s2017 jbk OC 000a kor | |
| 020 | a9791187892502 g93000: c\25000 | |
| 040 | a142036 c142036 | |
| 041 | 0 | akor aeng |
| 056 | a003.3 25 | |
| 090 | a003.3 b이729ㅈ | |
| 100 | 1 | a이문근 |
| 245 | 10 | a정형기법= xFormal methods/ d이문근 저 |
| 260 | a전주: b전북대학교출판문화원, c2017 | |
| 300 | a571 p.; c24 cm | |
| 500 | a2018년 세종도서 학술부문 선정도서임 | |
| 653 | a정형기법 a컴퓨터모델링 a소프트웨어개발 | |
| 950 | 0 | b\25000 |
| 049 | 0 | lBEM000044817 fBS학 v2018 |