ISCAS OpenIR  > 软件工程技术研究开发中心
对象演算Ⅰ
Alternative TitleObject Calculus Ⅰ
黄涛; 钱军; 周桓
1999
Source软件学报
Volume10Issue:9
Indexed Typewanfang
Keyword对象演算 有效动作 公理化 对象语义描述 特性推理
Department软件工程技术研究开发中心
Content Type期刊论文
URIhttp://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
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[黄涛]'s Articles
[钱军]'s Articles
[周桓]'s Articles
Baidu academic
Similar articles in Baidu academic
[黄涛]'s Articles
[钱军]'s Articles
[周桓]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[黄涛]'s Articles
[钱军]'s Articles
[周桓]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.