서브메뉴
검색
오토마타기반의 병행 프로그램을 위한 결정적 수행 테스팅 기법
오토마타기반의 병행 프로그램을 위한 결정적 수행 테스팅 기법
Detailed Information
- Material Type
- 기사
- ISSN
- 12296848
- Author
- 정인상
- Title/Author
- 오토마타기반의 병행 프로그램을 위한 결정적 수행 테스팅 기법 / 정인상 ; 김병만, 김현수 공저
- Publish Info
- 서울 : 한국정보과학회, 2001.
- Material Info
- pp. 706 - 719
- General Note
- 권말 색인 및 참고문헌
- Added Entry-Personal Name
- 김병만, 김현수
- Host Item Entry
- 정보과학회논문지 : 소프트웨어 및 응용(Journal of KISS:Software and App : 제28권 제10호 (2001년 10월) 2001, 10
- 모체레코드
- 모체정보확인
- Control Number
- kjul:60223797
MARC
008190614s2001 ulk aa kor■022 ▼a12296848
■1001 ▼a정인상
■24510▼a오토마타기반의 병행 프로그램을 위한 결정적 수행 테스팅 기법▼d정인상▼e김병만, 김현수 공저
■260 ▼a서울▼b한국정보과학회▼c2001.
■300 ▼app. 706 - 719
■500 ▼a권말 색인 및 참고문헌
■7001 ▼a김병만, 김현수
■773 ▼t정보과학회논문지 : 소프트웨어 및 응용(Journal of KISS:Software and App▼g제28권 제10호 (2001년 10월)▼d2001, 10
■SIS ▼aS015602▼b60058288▼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
