THE USE OF VDM IN THE SPECIFICATION OF CHINESE-CHARACTERS

被引：0
作者：
TEO, GS
AIRCHINNIGH, MM
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1988年 / 328卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：476 / 499
页数：24
相关论文
共 9 条
[1]  
BJORNER D, 1987, LECTURE NOTES COMPUT, V252
[2]   VISUAL LANGUAGES - A TUTORIAL AND SURVEY [J].
CHANG, SK .
IEEE SOFTWARE, 1987, 4 (01) :29-39
[3]  
GHEE ST, 1988, CSC8804 TRIN COLL DE
[4]  
GU G, 1983, STANCS83974 STANF U
[5]  
Knuth Donald E., 1986, METAFONT BOOK
[6]  
Knuth Donald Ervin, 1986, COMPUTERS TYPESETTIN, VA
[7]  
LI JR, 1985, TEX SCI DOCUMENTATIO, P167
[8]  
TUNG YM, 1981, SOFTWARE PRACTICE EX, V11, P1273
[9]  
[No title captured]
1