서브메뉴
검색
효과 타입 시스템을 이용한 기계어 코드의 검증
효과 타입 시스템을 이용한 기계어 코드의 검증
상세정보
MARC
008190614s2000 ulk aa kor■022 ▼a12296848
■1001 ▼a정재윤
■24510▼a효과 타입 시스템을 이용한 기계어 코드의 검증▼d정재윤▼e류석영, 이광근 공저
■260 ▼a서울▼b한국정보과학회▼c2000.
■300 ▼app. 886 - 901
■500 ▼a권말 색인 및 참고문헌
■7001 ▼a류석영, 이광근
■773 ▼t정보과학회논문지 : 소프트웨어 및 응용(Journal of KISS:Software and App▼g제27권 제8호 (2000년 8월)▼d2000, 08
■SIS ▼aS015588▼b60058288▼h8▼s2▼fP


