Krzysztof R.阿普特。(编辑);你好,托尼(编辑) Edsger Wybe Dijkstra。他的生活、工作和遗产。 (英语) Zbl 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) 全文: 内政部
曼弗雷德·布罗伊(编辑);约翰内斯·格伦鲍尔(编辑);你好,托尼(编辑) 软件系统的可靠性和安全性。《北约软件系统可靠性和安全高级研究所会议记录》,德国马克托伯恩多夫,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号 北约科学系列III:计算机与系统科学. 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.霍尔。 传达顺序过程。代表。 (英语) Zbl 0841.68042号 普伦蒂斯·霍尔计算机科学国际系列。纽约州纽约市:普伦蒂斯·霍尔。viii,第256页(1995年)。 审核人:U.Hahn(弗赖堡i.Br.) MSC公司:2010年第68季度 68-01 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{C.A.R.Hoare},通信顺序过程。纽约州纽约市代表:普伦蒂斯·霍尔(1995;Zbl 0841.68042)
比约纳,迪内斯(编辑);C.A.R.霍尔。(编辑);汉斯·朗马克(编辑) VDM’90。软件开发中的VDM和Z形式化方法。VDM欧洲第三次国际研讨会,德国联邦基尔,1990年4月17日至21日。诉讼程序。 (英语) Zbl 0746.68006号 计算机科学课堂讲稿. 428. 柏林等:Springer-Verlag。十七、 第580页(1990年)。 审核人:H.基洛夫(莫里斯敦) MSC公司:68-06 60年第68季度 68问题55 68N99型 68号01 PDF格式BibTeX公司 XML格式引用 \textit{D.Björner}(编辑)等人,VDM’90。软件开发中的VDM和Z形式化方法。第三届VDM欧洲国际研讨会,基尔,FRG,1990年4月17日至21日。诉讼程序。柏林等:Springer-Verlag(1990;Zbl 0746.68006)
C.A.R.霍尔。(编辑) 并发和通信的发展。 (英语) Zbl 0734.68035号 阿姆斯特丹等:Addison-Wesley Publishing Co.XIV,335 p.$33.95(1990)。MSC公司:2010年第68季度 60年第68季度 68-06 PDF格式BibTeX公司 XML格式引用 \textit{C.A.R.Hoare}(编辑),并发和通信的发展。阿姆斯特丹等:Addison-Wesley Publishing Co.(1990;Zbl 0734.68035)
C.A.R.霍尔。 C.B.琼斯。(编辑) 计算科学论文。 (英语) Zbl 0656.68007号 普伦蒂斯·霍尔计算机科学国际系列。纽约等地:普伦蒂斯·霍尔。十二、 412页;$58.95 (1989). 审核人:米勒 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卷。与北约科学事务司合作出版。柏林等:Springer-Verlag。七、 415页。;134.00马克(1987年)。 MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式
C.A.R.霍尔。 传达顺序过程。 (英语) Zbl 0637.68007号 Prentice-Hall国际计算机科学系列。新泽西州Englewood Cliffs等:Prentice-Hall International。256页;$57.95; £31.95 (1985). 审核人:J.奥尔谢夫斯基 MSC公司:68-02 第68季度第65季度 68号01 65年第68季度 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·阿布里尔。] 关于项目建设。 (英语) 兹伯利0473.68006 剑桥等:剑桥大学出版社。八、 第422页,17.00英镑(1980年)。MSC公司:68-06 00亿Bxx 68新元 PDF格式BibTeX公司 XML格式
O.-J.达尔。;迪伊斯特拉,E.W。;C.A.R.霍尔。 结构化编程。 (英语) Zbl 0267.68001号 A.P.I.C.数据处理研究第8条。伦敦-纽约:学术出版社。八、 220英镑4.20;美元12.50 (1972).MSC公司:68-02 68号01 PDF格式BibTeX公司 XML格式
C.霍尔。 计算尺及其使用方法:包含完整、简单和简单的说明,以前所未有的速度和准确性执行所有业务计算。(技术新闻手册)。 (英语) JFM 61.1339.05号 VI+104 p.伦敦,技术出版社(1935)。 PDF格式BibTeX公司 XML格式