부가기능
객체 지향 분석 모델의 일의성 검증을 위한 대수적 명세화 템플리트
상세 프로파일
상세정보
자료유형 | 학위논문 |
---|
서명/저자사항 | 객체 지향 분석 모델의 일의성 검증을 위한 대수적 명세화 템플리트= Algebraic specification template for verifying consistency of object-oriented analysis model/ 김영란. |
---|
개인저자 | 김영란
|
---|
단체저자명 | 충북대학교 . 대학원 . 전자계산학과.
|
---|
발행사항 | 청주: 충북대학교, 1997. |
---|
형태사항 | viii,103장: 삽화; 26cm. |
---|
학위논문주기 | 학위논문(박사) -- 충북대학교 대학원:전자계산학과 전자계산학전공,1997 |
---|
비통제주제어 | 전산학 |
---|
분류기호(DDC) | 001.61
|
---|
언어 | 한국어 |
소장정보
메세지가 없습니다
No. |
등록번호 |
청구기호 |
소장처 |
밀집번호 |
도서상태 |
반납예정일 |
예약 |
서비스 |
매체정보 |
1 |
9005035 |
TD 001.61 김64ㄱㅊ 1997 |
중앙도서관[별관]/보존자료실/
|
Y3099288 |
대출불가(별치) |
|
|
|
true|true|true|true |true|true |
|
서평
서평등록 중 오류가 발생하였습니다. 재시도 하십시오.