Institutional Repository
| 对象演算Ⅰ | |
| Alternative Title | Object Calculus Ⅰ |
| 黄涛; 钱军; 周桓 | |
| 1999 | |
| Source | 软件学报
 |
| Volume | 10Issue:9 |
| Indexed Type | wanfang |
| Keyword | 对象演算 有效动作 公理化 对象语义描述 特性推理 |
| Department | 软件工程技术研究开发中心 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/3700 |
| Collection | 软件工程技术研究开发中心 |
| Recommended Citation GB/T 7714 | 黄涛,钱军,周桓. 对象演算Ⅰ[J]. 软件学报,1999,10(9). |
| APA | 黄涛,钱军,&周桓.(1999).对象演算Ⅰ.软件学报,10(9). |
| MLA | 黄涛,et al."对象演算Ⅰ".软件学报 10.9(1999). |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 36.pdf（216KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment