http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
https://www.riss.kr/link?id=O37643276
1997년
eng
학술저널
INTERNATIONAL WORKSHOP ON THE THEORY AND PRACTICE OF ALGEBRAIC SPECIFICATIONS -ABSTRACTS-
2 [※수록면이 p5 이하이면, Review, Columns, Editor's Note, Abstract 등일 경우가 있습니다.]
3540762280
Theory and practice of algebraic specifications
International workshop; 2nd
Amsterdam
1997; Sep
0
상세조회0
다운로드
Rewriting as a Unified Specification Tool for Logic and Control: The ELAN Language
Compilation Techniques for Associative-Commutative Normalisation
Specification of Rewriting Strategies
A Case Study of a Slicing-Based Approach for Locating Type Errors