Catalog
| 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)
Document Type
Domestic Book
Title
정형기법 기반 소프트웨어 검증 및 자동생성 기술 개발에 관한 연구 = A Study on S/W verification and automatic code generation using formal methods(VACUM) / [정보통신부 편].
개인저자
Publication
[서울] : 정보통신부 , 1997 .
Physical Description
xxii,378 p. : 삽도 ; 26 cm.
General Note
최종 연구개발결과보고서
연구기관 : 시스템공학연구소
연구책임자 : 정연대
연구기관 : 시스템공학연구소
연구책임자 : 정연대
Call Number
028.63 한17ㅈA
Items
RReservation
AAbsent
VPreservation
CLoan Campus
QRush Cataloging
DDelivery Service
SSMS
PPrint
HHolding Journal DDS
| Regist No. | Call number | Item location | Status | Expected return date | Service |
|---|
Booktalk
Please feel free to read the book
and write your impressions.
글쓰기
and write your impressions.
Call Sign Browsing
Related Popular Books