统一对象理论
选定出版物
-
在统一编程理论中嵌入对象演算 迈克尔·安东尼·史密斯 博士论文, type=DPhil论文DPhil thesis类型。 2010. 细节 关于 嵌入对象演算 在统一编程理论中 | BibTeX公司 的数据 在中嵌入对象演算 统一编程理论 | 链接 到 在统一编程理论中嵌入对象演算 -
统一位置理论 迈克尔·安东尼·史密斯和杰里米·吉本斯 编辑Andrew Butterfield, 统一编程理论 . 都柏林。 9月, 2008 细节 关于 统一位置理论 | BibTeX公司 的数据 统一位置理论 | DOI(10.1007/978-3-642-14521-6_10) | 下载(pdf) 属于 统一位置理论 -
统一对象理论 迈克尔·安东尼·史密斯和杰里米·吉本斯 编辑吉姆·戴维斯和杰里米·吉本斯, 集成形式化方法 . 第4591卷 计算机科学课堂讲稿。 第599-618页。 Springer−Verlag。 2007