大卫·列文斯;威廉·哈里森 对称封装多方法的实现结构抽象。 (英语) Zbl 1284.68190号 科学。计算。程序。 78,第7期,953-968(2013).MSC公司:68号30 68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Lievens}和\textit{W.Harrison},科学。计算。程序。78,编号7953-968(2013;Zbl 1284.68190) 全文: 内政部
基耶里·齐托;Atsushi Igarashi 将MyType与子类型匹配。 (英语) Zbl 1284.68107号 科学。计算。程序。 78,第7期,933-952(2013).MSC公司:68甲15 68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{C.Saito}和\textit{A.Igarashi},科学。计算。程序。78,第7号,933--952(2013;Zbl 1284.68107) 全文: 内政部
洛伦佐·贝蒂尼;萨拉·卡佩基;费卢西奥·达米亚尼 类Java语言的灵活动态特征替换。 (英语) 兹比尔1284.68101 科学。计算。程序。 78,第7期,907-932(2013).MSC公司:68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{L.Bettini}等人,科学。计算。程序。78,第7号,907--932(2013;Zbl 1284.68101) 全文: 内政部
大卫·安科纳(编辑) 面向对象编程和系统(OOPS 2009)专题部分的前言,这是第24届ACM应用计算研讨会的专题。 (英语) Zbl 1284.00063号 科学。计算。程序。 78,第7号,906(2013).MSC公司:00B25型 68-06 68新元 PDF格式BibTeX公司 XML格式引用 \textit{D.Ancona}(编辑),科学。计算。程序。78,第7号,906(2013;Zbl 1284.00063) 全文: 内政部
Jörg Brauer;安迪·金;斯特凡·科瓦列夫斯基 单片机代码的抽象解释:区间满足同余。 (英语) Zbl 1284.68167号 科学。计算。程序。 78,第7期,862-883(2013).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Brauer}等人,科学。计算。程序。78,第7号,862--883(2013;Zbl 1284.68167) 全文: 内政部
Alwyn E.古德洛。;塞萨尔·穆尼奥斯。 远程操作飞机通信协议的组成验证。 (英语) Zbl 1284.68184号 科学。计算。程序。 78,第7期,813-827(2013).MSC公司:68号30 60年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{A.E.Goodloe}和\textit{C.A.Muñoz},科学。计算。程序。78,编号7,813--827(2013;Zbl 1284.68184) 全文: 内政部
阿尔梅达,J.巴克拉;曼纽尔·巴博萨;Jorge S.平托。;巴巴拉·维埃拉 使用自组合对副通道对策进行形式验证。 (英语) Zbl 1284.68158号 科学。计算。程序。 78,第7期,796-812(2013).MSC公司:68号30 60年第68季度 94A60 PDF格式BibTeX公司 XML格式引用 \文本{J.B.Almeida}等人,科学。计算。程序。78,第7号,796--812(2013;Zbl 1284.68158) 全文: 内政部