http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
https://www.riss.kr/link?id=O40090130
1990년
eng
학술저널
TECHNICAL REPORT- UNIVERSITY OF STIRLING DEPARTMENT OF COMPUTING SCIENCE TR
14 [※수록면이 p5 이하이면, Review, Columns, Editor's Note, Abstract 등일 경우가 있습니다.]
Unified computation laboratory
Conference
Stirling
1990; Jul
0
상세조회0
다운로드
Steps towards Algebraic Construction of Compilers
Algebraic Semantics and Monad Theory
Some Results on Using Algebraic Petri Nets for Modelling Communication Software in the OSI Framework
Modelling of LOTOS Specifications by Petri Nets - a Denotational Semantics