서브메뉴
검색
Statechart 명세의 등가 관계 검사
Statechart 명세의 등가 관계 검사
Detailed Information
- 자료유형
- 기사
- ISSN
- 12297712
- 저자명
- 박명환
- 서명/저자
- Statechart 명세의 등가 관계 검사 / 박명환 , 방기석, 최진영, 이정아, 한상용 공저
- 발행사항
- 서울 : 한국정보과학회, 2000.
- 형태사항
- pp. 608-619
- 주기사항
- 권말 참고문헌 있음.
- 기타저자
- 방기석, 최진영, 이정아, 한상용
- 원문정보
- url
- 모체레코드
- 모체정보확인
- Control Number
- kjul:60225168
MARC
008190619s2000 ulk aa kor■022 ▼a12297712
■1001 ▼a박명환
■24510▼aStatechart 명세의 등가 관계 검사 ▼d박명환 ▼e방기석, 최진영, 이정아, 한상용 공저
■260 ▼a서울▼b한국정보과학회▼c2000.
■300 ▼app. 608-619
■500 ▼a권말 참고문헌 있음.
■7001 ▼a방기석, 최진영, 이정아, 한상용
■773 ▼t정보과학회논문지 : 컴퓨팅의 실제(Journal of KISS: Computing Practices)▼g제6권 제6호 (2000년 12월)▼d2000, 12
■856 ▼uhttp://www.kiise.or.kr
■SIS ▼aS015559▼b60058284▼h8▼s1▼fP
Preview
Export
ChatGPT Discussion
AI Recommended Related Books
ค้นหาข้อมูลรายละเอียด
- จองห้องพัก
- ไม่อยู่
- โฟลเดอร์ของฉัน
- Reference Materials for Thesis Writing
- Reference Materials for Research Ethics
- Job-Related Books
