서브메뉴
검색
동적 시스템 명세를 위한 시제논리언어와 그 검증
동적 시스템 명세를 위한 시제논리언어와 그 검증
Detailed Information
- 자료유형
- 기사
- ISSN
- 12296848
- 저자명
- 조승모
- 서명/저자
- 동적 시스템 명세를 위한 시제논리언어와 그 검증 / 조승모 , 김형호, 차성덕, 배두환 공저
- 발행사항
- 서울 : 한국정보과학회, 2002.
- 형태사항
- pp. 450-464
- 주기사항
- 권말 참고문헌 수록
- 기타저자
- 김형호, 차성덕, 배두환
- 원문정보
- url
- 모체레코드
- 모체정보확인
- Control Number
- kjul:60221742
MARC
008190611s2002 ulk aa kor■022 ▼a12296848
■1001 ▼a조승모
■24510▼a동적 시스템 명세를 위한 시제논리언어와 그 검증▼d조승모▼e김형호, 차성덕, 배두환 공저
■260 ▼a서울▼b한국정보과학회▼c2002.
■300 ▼app. 450-464
■500 ▼a권말 참고문헌 수록
■7001 ▼a김형호, 차성덕, 배두환
■773 ▼t정보과학회논문지 : 소프트웨어 및 응용(Journal of KISS:Software and App▼g제29권 제7,8호 (2002년 8월)▼d2002, 08
■856 ▼uhttp://www.kiise.or.kr
■SIS ▼aS015634▼b60058288▼h8▼s2▼fP
Preview
Export
ChatGPT Discussion
AI Recommended Related Books
Подробнее информация.
- Бронирование
- не существует
- моя папка
- Reference Materials for Thesis Writing
- Reference Materials for Research Ethics
- Job-Related Books
