STRUCTURED ALGEBRAIC SPECIFICATIONS - A KERNEL LANGUAGE

被引：46
|
作者：
WIRSING, M
机构：
[1] Univ Passau, Passau, West Ger, Univ Passau, Passau, West Ger
来源：
THEORETICAL COMPUTER SCIENCE | 1986年 / 42卷 / 02期
关键词：
D O I：
10.1016/0304-3975(86)90051-4
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
112
引用
收藏
页码：123 / 249
页数：127
相关论文
共 50 条
12345