지능망 서비스를 기술하기 위한 형식 명세 언어 Z의 확장Extension of formal specification notation Z to describe services in intelligent network
- Advisors
- 권용래researcher; Kwon, Yong-Raeresearcher
- Description
- 한국과학기술원 : 전산학과,
- Publisher
- 한국과학기술원
- Issue Date
- 1992
- Identifier
- 60020/325007 / 000901012
- Language
- kor
- Description
학위논문(석사) - 한국과학기술원 : 전산학과, 1992.2, [ 1책(면수복잡) ]
- Appears in Collection
- CS-Theses_Master(석사논문)
- Files in This Item
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.