Krzysztof R.阿普特。(编辑);你好,托尼(编辑) Edsger Wybe Dijkstra。他的生活、工作和遗产。 (英语) 兹比尔1507.68019 ACM图书45.纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-9773-5/hbk;978-1-450.3-9771-1/pbk;97 8-1-4503-4774-2/电子书)。第二十四章,第550页。(2022).MSC公司:68-06 01A70号 68-03 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}(编辑)和\textit{T.Hoare}(编辑),Edsger Wybe Dijkstra。他的生活、工作和遗产。纽约州纽约市:计算机协会(ACM)(2022;Zbl 1507.68019) 全文: 内政部
C.A.R.霍尔。(编辑);贾亚德夫·米斯拉(编辑) 软件验证专刊前言。 (英语) Zbl 1507.68036号 Jones,Cliff B.(编辑)等人,《编程理论》。托尼·霍尔的生活和作品。纽约州纽约市:计算机协会(ACM)。ACM Books 39,77-80(2021)。MSC公司:68-06 68号30 60年第68季度 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{C.A.R.Hoare}(编辑)和\textit{J.Misra}(主编),ACM Books 39,77--80(2021;Zbl 1507.68036) 全文: 内政部
你好,托尼;Natarajan Shankar 解开纸牌戏法。 (英语) Zbl 1288.00008号 Manna,Zohar(编辑)等人,《验证时间》。纪念埃米尔·普努利的散文。柏林:施普林格出版社(ISBN 978-3-642-13753-2/pbk)。计算机科学讲稿6200195-201(2010)。MSC公司:00A08号 PDF格式BibTeX公司 XML格式引用 \textit{T.Hoare}和\textit{N.Shankar},莱克特。注释计算。科学。6200、195--201(2010;Zbl 1288.00008) 全文: 内政部
C.A.R.霍尔。(编辑);贾亚德夫·米斯拉(编辑) 软件验证专刊前言。 (英语) Zbl 1507.68035号 ACM计算。Surv公司。 41,第4号,第18条,第3页(2009年).MSC公司:68-06 68号30 60年第68季度 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{C.A.R.Hoare}(编辑)和\textit{J.Misra}(主编),ACM计算。Surv公司。41,第4号,第18条,第3页(2009年;Zbl 1507.68035) 全文: 内政部
曼弗雷德·布罗伊(编辑);约翰内斯·格伦鲍尔(编辑);你好,托尼(编辑) 软件系统的可靠性和安全性。《北约软件系统可靠性和安全高级研究所会议记录》,德国马克托伯恩多夫,2006年8月1日至13日。 (英语) Zbl 1123.68003号 北约科学安全系列。D: 信息和通信安全9。阿姆斯特丹:IOS出版社(ISBN 978-1-58603-731-4/hbk)。ix,417页。(2007).MSC公司:68-06 00B25型 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}(编辑)等人,《软件系统可靠性和安全性》。《北约软件系统可靠性和安全高级研究所会议记录》,德国马克托伯恩多夫,2006年8月1日至13日。阿姆斯特丹:IOS出版社(2007;Zbl 1123.68003)
你好,托尼(编辑);曼弗雷德·布罗伊(编辑);拉尔夫·斯坦布吕根(编辑) 软件构建的工程理论。《北约ASI会议记录》,德国马克托伯多夫,2000年7月25日至8月6日。 (英语) Zbl 0972.00060号 北约科学系列三:计算机与系统科学. 180. 阿姆斯特丹:IOS出版社。东京:Ohmsha。ix,357页(2001年)。MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{T.Hoare}(ed.)等人,《软件构建工程理论》。《北约ASI会议记录》,德国马克托伯多夫,2000年7月25日至8月6日。阿姆斯特丹:IOS出版社;东京:Ohmsha(2001;Zbl 0972.00060)
C.A.R.霍尔。 C.B.琼斯。(编辑) 计算科学论文。 (英语) Zbl 0656.68007号 普伦蒂斯·霍尔计算机科学国际系列。纽约等地:普伦蒂斯·霍尔。十二、 412页;$58.95 (1989). 审核人:H.Müller先生 MSC公司:68-06 00亿Bxx 01A75号 60年第68季度 68号01 68页第10页 68-02 PDF格式BibTeX公司 XML格式引用 \textit{C.A.R.Hoare}和\textit{C.B.Jones}(编辑),计算科学论文。纽约等:普伦蒂斯·霍尔(1989;Zbl 0656.68007)
曼弗雷德·布罗伊(编辑) [F.L.鲍尔。;布罗伊,M。;Dijkstra,E.W。;C.A.R.霍尔。] 编程逻辑和离散设计计算。(1986年7月29日至8月10日,在德意志联邦共和国马尔托贝尔多夫举行的北约离散设计逻辑和微积分高级研究所会议记录)。国际暑期学校由F.L.Bauer、M.Broy、E.W.Dijkstra、C.A.R.Hoare执导。 (英语) Zbl 0619.00021号 北约ASI系列。高级研究机构系列。F辑:《计算机与系统科学》,第36卷。与北约科学事务司合作出版。柏林等:施普林格出版社。七、 415页。;134.00马克(1987年)。 MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式
C.A.R.霍尔。(编辑);谢泼德森,J.C。(编辑) 数学逻辑和编程语言。(伦敦皇家学会讨论会,1984年2月15日和16日举行)。 (英语) Zbl 0626.68003号 Prentice-Hall国际计算机科学系列。新泽西州Englewood Cliffs等:普伦蒂斯/霍尔国际。184页;$69.95(伦敦皇家学会原版)(1985年)。MSC公司:68-06 00亿Bxx PDF格式BibTeX公司 XML格式
R·M·麦基。(编辑);麦克纳格滕,A.M。(编辑) [巴斯塔德·D·W。;J·威尔士。;R·M·麦基。;伊希比亚,I.D。;O.鲁宾。;J.C.赫利亚德。;科尔曼,D。;C.A.R.霍尔。;佩罗特,R.H。;克林特,M。;医学硕士Jackson。;J·R·阿布里尔。] 关于项目建设。 (英语) Zbl 0473.68006号 剑桥等:剑桥大学出版社。VIII、 422页,17.00英镑(1980年)。MSC公司:68-06 00亿Bxx 68新元 PDF格式BibTeX公司 XML格式