충남대학교외국학술지지원센터

글로벌메뉴

  • HOME
  • sitemap

주메뉴


상세정보

  • |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

서평

  • 서평

태그

  • 태그

나의 태그

나의 태그 (0)

모든 이용자 태그

모든 이용자 태그 (0) 태그 목록형 보기 태그 구름형 보기
 

하단메뉴