procedural implementation of algebraic specification

	procedural implementation of algebraic specification
	Lin Huimin
	1993
Source	ACM Trans. Program. Lang. Syst
Volume	15 Issue:5 Pages:876-895
Indexed Type	acm
Department	Chinese Academy of Sciences, Beijing, China
Content Type	期刊论文
URI	http://ir.iscas.ac.cn/handle/311060/3192
Collection	基础软件与系统重点实验室
Recommended Citation GB/T 7714	Lin Huimin. procedural implementation of algebraic specification[J]. ACM Trans. Program. Lang. Syst,1993,15(5):876-895.
APA	Lin Huimin.(1993).procedural implementation of algebraic specification.ACM Trans. Program. Lang. Syst,15(5),876-895.
MLA	Lin Huimin."procedural implementation of algebraic specification".ACM Trans. Program. Lang. Syst 15.5(1993):876-895.

Files in This Item:
There are no files associated with this item.

Related Services

Bookmark

Google Scholar

Similar articles in Bing Scholar

Terms of Use

No data!

Social Bookmark/Share

All comments (0)

No comment.

The comment function is only available to registered usersLog In

If you have any objections to this item, please fill out the form below and the administrator will contact you as soon as possible.
Content:
Email：	*
Institution:
Verification Code:	Refresh

Any comments and suggestions are welcomed.
Title:	*
Content:
Email：	*
Verification Code:	Refresh

中国科学院软件研究所机构知识库