소장자료
| LDR | 00664namka2200217 k 4500 | ||
| 001 | 0000307682▲ | ||
| 005 | 20180521061715▲ | ||
| 007 | ta▲ | ||
| 008 | 980401s1997 ulka 000a kor ▲ | ||
| 056 | ▼a 028.63 ▼2 2▲ | ||
| 088 | ▼a 7P00300-013-851-F▲ | ||
| 090 | ▼a 028.63 ▼b 한17ㅈA▲ | ||
| 110 | ▼a 한국. ▼b 정보통신부▲ | ||
| 245 | 1 | 0 | ▼a 정형기법 기반 소프트웨어 검증 및 자동생성 기술 개발에 관한 연구 = ▼x A Study on S/W verification and automatic code generation using formal methods(VACUM) / ▼d [정보통신부 편].▲ |
| 260 | ▼a [서울] : ▼b 정보통신부, ▼c 1997 .▲ | ||
| 300 | ▼a xxii,378 p. : ▼b 삽도 ; ▼c 26 cm.▲ | ||
| 500 | ▼a 최종 연구개발결과보고서▲ | ||
| 500 | ▼a 연구기관 : 시스템공학연구소▲ | ||
| 500 | ▼a 연구책임자 : 정연대▲ | ||
| 700 | 1 | ▼a 정연대▲ | |
| 710 | ▼a 시스템공학연구소▲ |
정형기법 기반 소프트웨어 검증 및 자동생성 기술 개발에 관한 연구 = A Study on S/W verification and automatic code generation using formal methods(VACUM)
자료유형
국내단행본
서명/책임사항
정형기법 기반 소프트웨어 검증 및 자동생성 기술 개발에 관한 연구 = A Study on S/W verification and automatic code generation using formal methods(VACUM) / [정보통신부 편].
개인저자
발행사항
[서울] : 정보통신부 , 1997 .
형태사항
xxii,378 p. : 삽도 ; 26 cm.
일반주기
최종 연구개발결과보고서
연구기관 : 시스템공학연구소
연구책임자 : 정연대
연구기관 : 시스템공학연구소
연구책임자 : 정연대
청구기호
028.63 한17ㅈA
소장정보
예도서예약
서서가에없는책 신고
보보존서고신청
캠캠퍼스대출
우우선정리신청
배자료배달신청
문문자발송
출청구기호출력
학소장학술지 원문서비스
| 등록번호 | 청구기호 | 소장처 | 도서상태 | 반납예정일 | 서비스 |
|---|
북토크
자유롭게 책을 읽고
느낀점을 적어주세요
글쓰기
느낀점을 적어주세요
청구기호 브라우징
관련 인기대출 도서