상세정보
- |Home >
- 상세정보
부가기능
Special Section on the 1999 Formal Methods Conference (FM '99) - Guest Editors' Introduction -- Special Issues for FM '99: The First World Congress - Is Proof More Cost-Effective Than Testing?/
기사 상세정보
소장정보
- 소장정보
| No. | 권호·제본정보 보기 | 소장처 | 소장사항 | 청구기호 | 구독 | 최근입수호 |
|---|---|---|---|---|---|---|
| 1 | 중앙도서관/3층 연속간행물(보존)/ | 001.64205 I22 | 구독중단 | Vol.26 No.12 | ||
| 2 | 중앙도서관/3층 연속간행물실/ | 001.64205 I22 | 구독중단 | Vol.26 No.6 |
하단메뉴
