서브메뉴
검색
프로그래밍 언어의 관점에서 본 소프트웨어/하드웨어의 정형 검증 방법 소개
프로그래밍 언어의 관점에서 본 소프트웨어/하드웨어의 정형 검증 방법 소개
Detailed Information
- Material Type
- 기사
- ISSN
- 12296821
- Author
- 방기석
- Title/Author
- 프로그래밍 언어의 관점에서 본 소프트웨어/하드웨어의 정형 검증 방법 소개 / 방기석 ; 유희준, 최진영 공저
- Publish Info
- 서울 : 한국정보과학회, 2003.
- Material Info
- pp. 29-39
- General Note
- 권말 참고문헌 수록
- Added Entry-Personal Name
- 유희준, 최진영
- Host Item Entry
- 정보과학회지 (Communication of the Korea Information Science Society) : 제21권 제1호 (통권 제164호)(2003년 1월) 2003, 01
- Electronic Location and Access
- url
- 모체레코드
- 모체정보확인
- Control Number
- kjul:60223206
MARC
008190613s2003 ulk aa kor■022 ▼a12296821
■1001 ▼a방기석
■24510▼a프로그래밍 언어의 관점에서 본 소프트웨어/하드웨어의 정형 검증 방법 소개▼d방기석▼e유희준, 최진영 공저
■260 ▼a서울▼b한국정보과학회▼c2003.
■300 ▼app. 29-39
■500 ▼a권말 참고문헌 수록
■7001 ▼a유희준, 최진영
■773 ▼t정보과학회지 (Communication of the Korea Information Science Society)▼g제21권 제1호 (통권 제164호)(2003년 1월)▼d2003, 01
■856 ▼uhttp://www.kiise.or.kr
■SIS ▼aS015695▼b60058298▼h8▼s2▼fP
Preview
Export
ChatGPT Discussion
AI Recommended Related Books
Detail Info.
- Reservation
- Not Exist
- My Folder
- Reference Materials for Thesis Writing
- Reference Materials for Research Ethics
- Job-Related Books
