procedural implementation of algebraic specification

Autoria(s): Lin Huimin
Data(s)

1993
Identificador

http://ir.iscas.ac.cn/handle/311060/3192

http://www.irgrid.ac.cn/handle/1471x/66784
Fonte

Lin Huimin.procedural implementation of algebraic specification,ACM Trans. Program. Lang. Syst,1993,15(5):876-895
Tipo

期刊论文
Acesso ao item digital