对象演算Ⅰ

---

Autoria(s): 黄涛; 钱军; 周桓

Data(s)	1999
Identificador	http://ir.iscas.ac.cn/handle/311060/3700 http://www.irgrid.ac.cn/handle/1471x/67568
Fonte	黄涛; 钱军; 周桓.对象演算Ⅰ,软件学报,1999,10(9):
Palavras-Chave	#对象演算 #有效动作 #公理化 #对象语义描述 #特性推理
Tipo	期刊论文