충남도립대학교 도서관

본문 바로가기
탑 메뉴 바로가기
주 메뉴 바로가기
하단 바로가기

Details

청구기호출력

预订
不存在
我的文件夹

材料
注册编号	呼叫号码.	收藏	状态	借信息.
AR0016765	S-569.905-한61		대출불가(관내열람)	대출불가(관내열람) 마이폴더 부재도서신고

*保留在借用的书可用。预订，请点击预订按钮

마이크로프로그램의 검증을 위한 테스트 데이타 생성기법 : Test Data Generation Technique for...

内容资讯

마이크로프로그램의 검증을 위한 테스트 데이타 생성기법 : Test Data Generation Technique for Microprogram Verification

자료유형: 단행본

ISSN: 12297712

청구기호: S-569.905-한613ㅈㄷ 1999

서명/저자: 마이크로프로그램의 검증을 위한 테스트 데이타 생성기법 : Test Data Generation Technique for Microprogram Verification / 박상현 ; 김진석 ; 은성배 ; 맹승렬 ; 조정완

발행사항: 서울 : 한국정보과학회, 1999.

형태사항: pp. 526-532

일반주제명: 테스트데이타생성

키워드: 마이크로프로그램 검증위한 테스트 데이타 생성기법

기타저자: 박상현

기타저자: 김진석

기타저자: 은성배

기타저자: 맹승렬

기타저자: 조정완

기본자료저록: 정보과학회논문지(C):컴퓨팅의 실제 : 5권 4호 (1999년 8월) 1999, 08

모체레코드: 모체정보확인

New Books MORE