| 리더 | 00687pam a2200265 c 4500 | |
|---|---|---|
| TAG | IND | 내용 |
| 001 | KMO201900132 | |
| 005 | 20190124170543 | |
| 006 | a 000 | |
| 008 | 190124s2017 ulk 000a kor | |
| 020 | 9791187892502 93000: \25000 | |
| 040 | 144031 144031 | |
| 056 | 003.3 6 | |
| 082 | 01 | 003.3 23 |
| 090 | 003.3 이299ㅈ | |
| 245 | 20 | 정형기법 = Formal methods / 이문근 저 |
| 260 | 전주 : 전북대학교출판문화원, 2017 | |
| 300 | 571 p. ; 24 cm | |
| 500 | 권말부록 수록 | |
| 546 | 본문은 한국어, 영어가 혼합수록됨 | |
| 650 | 8 | 소프트웨어 개발--開發 컴퓨터 모델링computer modelling |
| 653 | 정형기법 FORMAL METHODS | |
| 700 | 1 | 이문근, 1961- |
| 950 | 0 | \25000 |
| 049 | 0 | GD0000016324 |