자료유형 : 학위논문
서명 :
객체 지향 분석 모델의 일의성 검증을 위한 대수적 명세화 템플리트
저자 : 김영란
발행처 : 충북대학교
발행년 : 1997
도서상태 :
등록번호 : 9005035
소장처 : 중앙도서관[별관]/보존자료실/
도서상태 : 대출불가(별치)