×

找到125个文档（结果1-100）

最新的 引文 关联
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）
全文： 内政部
伯恩哈德·莫勒;彼得·奥赫恩;你好，托尼

关于程序正确性和错误性的代数。 （英文） Zbl 07670527号

Fahrenberg，Uli（编辑）等人，《计算机科学中的关系和代数方法》。第19届国际会议，RAMiCS 2021，法国马赛，2021年11月2日至5日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。13027, 325-343 (2021).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{B.Möller}等人，Lect。注释计算。科学。13027325--343（2021；Zbl 07670527）
全文： 内政部
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）
全文： 内政部
你好，托尼;乔治·斯特鲁斯;吉姆·伍德科克

空间、时间和因果关系的微积分：代数、几何、逻辑。 （英文） Zbl 07168631号

Ribeiro，Pedro（编辑）等人，《统一编程理论》。2019年10月8日，在托尼·霍尔85岁生日之际，在葡萄牙波尔图举行了第七届UTP 2019国际研讨会。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。11885, 3-21 (2019).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{T.Hoare}等人，Lect。注释计算。科学。11885，3--21（2019；Zbl 07168631）
全文： 内政部 链接
伯恩哈德·莫勒;你好，托尼;马丁·米勒。;乔治·斯特鲁斯

并发程序执行的离散几何模型。 （英文） Zbl 1483.68086号

Bowen，Jonathan P.（编辑）等人，《统一编程理论》。第六届国际研讨会，UTP 2016，冰岛雷克雅未克，2016年6月4日至5日。修订了选定的论文。查姆：斯普林格。勒克特。注释计算。科学。10134, 1-25 (2017).
MSC公司：68号30 第68页第19页 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{B.Möller}等人，Lect。注释计算。科学。10134，1-25（2017；Zbl 1483.68086）
全文： 内政部 链接
伯恩哈德·莫勒;你好，托尼

探索CKA的接口模型。 （英文） Zbl 1432.68314号

Hinze，Ralf（编辑）等人，《程序构造的数学》。2015年6月29日至7月1日，第12届国际会议，MPC 2015，德国科尼格斯温特。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。9129, 1-29 (2015).
MSC公司：68问题85 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{B.Möller}和\textit{T.Hoare}，莱克特。注释计算。科学。9129，1--29（2015；Zbl 1432.68314）
全文： 内政部 链接
你好，托尼;范·斯塔登（Stephan van Staden）;伯恩哈德·莫勒;乔治·斯特鲁斯;朱尔斯·维拉德;朱慧彪;彼得·奥赫恩

并发Kleene代数的发展。 （英文） Zbl 1344.68148号

Höfner，Peter（编辑）等人，《计算机科学中的关系和代数方法》。2014年4月28日至5月1日，第14届国际会议，RAMiCS 2014，德国Marienstat。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-06250-1/pbk）。计算机科学课堂讲稿8428，1-18（2014）。
MSC公司：70年第68季度 68号30 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{T.Hoare}等人，Lect。注释计算。科学。8428，1-18（2014；Zbl 1344.68148）
全文： 内政部 链接
范·斯塔登（Stephan van Staden）;你好，托尼

代数统一了运算计算。 （英文） Zbl 1452.68056号

Wolff，Burkhart（编辑）等人，《统一编程理论》。第四届国际研讨会，2012年UTP，2012年8月27日至28日，法国巴黎。修订了选定的论文。柏林：斯普林格。勒克特。注释计算。科学。7681, 88-104 (2013).
MSC公司：68号30 第68页第19页 68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.van Staden}和\textit{T.Hoare}，莱克特。注释计算。科学。7681、88--104（2013；Zbl 1452.68056）
全文： 内政部
你好，托尼

统一并发编程的语义。 （英文） Zbl 1264.68042号

Coecke，Bob（编辑）等人，《计算、逻辑、游戏和量子基础》。萨姆森·阿布拉姆斯基的许多方面。纪念萨姆森·阿布拉姆斯基60岁生日的文章。柏林：施普林格出版社（ISBN 978-3-642-38163-8/pbk）。《计算机科学讲义》7860、139-149（2013）。
MSC公司：68甲15 第68页第19页 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{T.霍尔}，莱克特。注释计算。科学。7860、139--149（2013年；Zbl 1264.68042）
全文： 内政部
你好，托尼;范·斯塔登（Stephan van Staden）

编程法则统一了过程计算。 （英文） Zbl 1358.68064号

Jeremy Gibbons等人，《程序构造的数学》。2012年6月25日至27日在西班牙马德里举行的2012年MPC第11届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31112-3/pbk）。计算机科学课堂讲稿7342，7-22（2012）。
MSC公司：第68页第19页 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{T.Hoare}和\textit{S.van Staden}，莱克特。注释计算。科学。7342，7--22（2012；Zbl 1358.68064）
全文： 内政部
你好，托尼

并发对象行为的网络模型。 （英文） Zbl 1357.68137号

Haddad，Serge（编辑）等人，《Petri网的应用和理论》。第33届国际会议，2012年6月25日至29日，德国汉堡，PETRI NETS 2012。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31130-7/pbk）。计算机科学课堂讲稿7347,1-2（2012）。
MSC公司：68问题85 第68页第19页
PDF格式BibTeX公司 XML格式引用
\textit{T.霍尔}，莱克特。注释计算。科学。7347，1--2（2012；Zbl 1357.68137）
全文： 内政部
C.A.R.霍尔。;阿克巴侯赛因;伯恩哈德·莫勒;O'Hearn，Peter W。;Rasmus Lerchedahl彼得森;乔治·斯特鲁斯

关于并发进程的局部性和交换律。 （英文） Zbl 1343.68170号

Katoen，Joost-Pieter（编辑）等，CONCUR 2011–并发理论。2011年9月6日至9日，第22届国际会议，CONCUR 2011，德国亚琛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23216-9/pbk）。计算机科学课堂讲稿6901250-264（2011）。
MSC公司：68问题85 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{C.A.R.Hoare}等人，Lect。注释计算。科学。6901250--264（2011；Zbl 1343.68170）
全文： 内政部 链接
C.A.R.霍尔。;伯恩哈德·莫勒;乔治·斯特鲁斯;伊恩·卫尔曼

并发Kleene代数的基础。 （英文） Zbl 1267.68154号

Berghammer，Rudolf（编辑）等人，《计算机科学中的关系和Kleene代数》。2009年11月1日至5日在卡塔尔多哈举行的第11届计算机科学关系方法国际会议（RelMiCS 2009）和第6届Kleene代数应用国际会议（AKA 2009）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04638-4/pbk）。计算机科学课堂讲稿5827166-186（2009）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{C.A.R.Hoare}等人，Lect。注释计算。科学。5827166--186（2009年；Zbl 1267.68154）
全文： 内政部 链接
霍尔，C.A.R.托尼;伯恩哈德·莫勒;乔治·斯特鲁斯;伊恩·卫尔曼

并发Kleene代数。 （英文） Zbl 1254.68172号

Bravetti，Mario（编辑）等人，CONCUR 2009–并发理论。第20届国际会议，CONCUR 2009，意大利博洛尼亚，2009年9月1-4日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04080-1/pbk）。计算机科学课堂讲稿5710，399-414（2009）。
MSC公司：68问题85 68号30
PDF格式BibTeX公司 XML格式引用
\textit{C.A.R.T.Hoare}等人，Lect。注释计算。科学。5710399-414（2009年；Zbl 1254.68172）
全文： 内政部 链接
你好，托尼;彼得·奥赫恩

用于通信进程的分离逻辑语义。 （英文） Zbl 1286.68352号

Chen，Yixiang（编辑）等，《第一届信息学、计算与软件基础国际会议论文集》（FICS 2008），华东师范大学，中国上海，2008年6月3-6日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记212，3-25（2008）。
MSC公司：68问题85 68甲15 68问题55 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{T.Hoare}和\textit{P.O'Hearn}，电子。注释Theor。计算。科学。212、3--25（2008年；Zbl 1286.68352）
全文： 内政部
你好，托尼

细粒度并发程序的验证。 （英文） Zbl 1279.68261号

Palamidessi，Catuscia（ed.）等人，《LIX并发理论新兴趋势研讨会论文集》（LIX 2006），法国巴黎，2006年11月13日至15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记209165-171（2008）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Hoare}，电子。注释Theor。计算。科学。209165-171（2008年；Zbl 1279.68261）
全文： 内政部
你好，托尼

可补偿交易。 （英文） Zbl 1137.68449号

Broy，Manfred（编辑）等人，《软件系统可靠性和安全性》。《北约软件系统可靠性和安全高级研究所会议记录》，德国马克托伯恩多夫，2006年8月1日至13日。阿姆斯特丹：IOS出版社（ISBN 978-1-58603-731-4/hbk）。北约科学安全系列。D： 信息与通信安全9，116-134（2007）。
MSC公司：68问题85 68N99型
PDF格式BibTeX公司 XML格式引用
\textit{T.Hoare}，in：软件系统可靠性和安全性。《北约软件系统可靠性和安全高级研究所会议记录》，德国马克托伯恩多夫，2006年8月1日至13日。阿姆斯特丹：IOS出版社。116-134（2007；Zbl 1137.68449）
曼弗雷德·布罗伊（编辑）;约翰内斯·格伦鲍尔（编辑）;你好，托尼（编辑）

软件系统的可靠性和安全性。《北约软件系统可靠性和安全高级研究所会议记录》，德国马克托伯恩多夫，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）
何继峰;你好，托尼

CSP是CCS的撤回。 （英文） Zbl 1186.68320号

Steve Dunne等人，《统一编程理论》。2006年2月5日至7日，在英国达勒姆郡沃尔沃斯城堡举行的UTP 2006第一届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-34750-7/pbk）。计算机科学讲稿4010，38-62（2006）。
MSC公司：68问题85 第68页第19页 68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.He}和\textit{T.Hoare}，莱克特。注释计算。科学。4010、38--62（2006年；Zbl 1186.68320）
全文： 内政部
何继峰;C.A.R.霍尔。

链接并发理论。 （英文） Zbl 1169.68543号

Dang Van Hung（编辑）等人，《计算的理论方面——ICTAC 2005》。第二届国际学术讨论会，越南河内，2005年10月17日至21日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-29107-5/pbk）。计算机科学课堂讲稿3722，303-317（2005）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.He}和\textit{C.A.R.Hoare}，莱克特。注释计算。科学。3722、303--317（2005年；Zbl 1169.68543）
全文： 内政部
罗伯托·布鲁尼;迈克尔·巴特勒;卡拉·费雷拉;你好，托尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里

比较两种可补偿流量合成方法。 （英文） Zbl 1134.68316号

Abadi，Martín（编辑）等人，CONCUR 2005–并发理论。2005年8月23日至26日，第16届国际会议，CONCUR 2005，美国加利福尼亚州旧金山。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28309-9/pbk）。计算机科学课堂讲稿3653，383-397（2005）。
MSC公司：64岁以下 68问题85 68单位35
PDF格式BibTeX公司 XML格式引用
\textit{R.Bruni}等人，Lect。注释计算。科学。3653、383--397（2005年；Zbl 1134.68316）
全文： 内政部
C.A.R.霍尔。

验证编译器，对计算研究来说是一个巨大的挑战。 （英文） Zbl 1111.68395号

Cousot，Radhia（编辑），验证，模型检查和抽象解释。第六届国际会议，VMCAI 2005，巴黎，法国，2005年1月17日至19日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-24297-X/pbk）。计算机科学讲座笔记3385，78（2005）。
MSC公司：68N20型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.A.R.Hoare}，莱克特。注释计算。科学。3385,78（2005年；Zbl 1111.68395）
全文： 内政部
迈克尔·巴特勒;你好，托尼;卡拉·费雷拉

长时间运行事务的跟踪语义。 （英文） Zbl 1081.68644号

Abdallah，Ali E.（编辑）等人，《通信顺序过程》。前25年。2004年7月7日至8日，英国伦敦，CSP 25周年研讨会。修订受邀论文。柏林：施普林格出版社（ISBN 3-540-25813-2/pbk）。计算机科学课堂讲稿3525133-150（2005）。
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.Butler}等人，Lect。注释计算。科学。3525133-150（2005年；Zbl 1081.68644）
全文： 内政部
你好，托尼

进程代数：统一方法。 （英文） Zbl 1081.68060号

Abdallah，Ali E.（编辑）等人，《通信顺序过程》。前25年。2004年7月7日至8日，在英国伦敦举行的CSP 25周年研讨会。修订受邀论文。柏林：施普林格出版社（ISBN 3-540-25813-2/pbk）。计算机科学课堂讲稿352536-60（2005）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{T.霍尔}，莱克特。注释计算。科学。3525，36-60（2005；Zbl 1081.68060）
全文： 内政部
塞德里克·Fornet;你好，托尼;Rajamani，Sriram K。;雅各布·雷霍夫

无卡滞一致性。 （英文） Zbl 1103.68612号

Alur，Rajeev（编辑）等人，《计算机辅助验证》。2004年7月13日至17日在美国马萨诸塞州波士顿举行的2004年CAV第16届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22342-8/pbk）。计算机科学讲义3114，242-254（2004）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{C.Fournet}等人，Lect。注释计算。科学。3114、242--254（2004；Zbl 1103.68612）
全文： 内政部
你好，托尼

验证编译器：对计算研究来说是一个巨大的挑战。 （英文） 兹比尔1032.68868

Hedin，Görel（编辑），《编译器构造》。2003年4月7日至11日在波兰华沙举行的第12届国际会议（CC 2003），是欧洲软件理论与实践联合会议（ETAPS 2003）的一部分。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。2622, 262-272 (2003).
MSC公司：68单位99 68N20型
PDF格式BibTeX公司 XML格式引用
\textit{T.霍尔}，莱克特。注释计算。科学。2622262--272（2003年；Zbl 1032.68868）
全文： 链接
你好，托尼

编程断言：从科学理论到工程实践。 （英文） Zbl 1054.68539号

Bustard，David（编辑）等人，《Soft-Ware 2002:不完美世界中的计算》。2002年4月8日至10日在北爱尔兰贝尔法斯特举行的2002年Soft-Ware第一届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43481-X）。勒克特。注释计算。科学。2311, 350-351 (2002).
MSC公司：68N99型
PDF格式BibTeX公司 XML格式引用
\textit{T.霍尔}，莱克特。注释计算。科学。2311350-351（2002年；Zbl 1054.68539）
全文： 链接
C.A.R.霍尔。;何继峰

统一逻辑编程理论。 （英文） Zbl 1005.68036号

Hoare，Tony（编辑）等人，《软件构建工程理论》。《北约ASI会议记录》，德国马克托伯多夫，2000年7月25日至8月6日。阿姆斯特丹：IOS出版社。北约科学。序列号。三、 计算。系统。科学。180, 21-45 (2001).
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{C.A.R.Hoare}和\textit{J.He}，北约科学。序列号。三、 计算。系统。科学。180、21-45（2001年；Zbl 1005.68036）
你好，托尼（编辑）;曼弗雷德·布罗伊（编辑）;拉尔夫·斯坦布吕根（编辑）

软件构建的工程理论。《北约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）
你好，托尼

断言。 （英文） 兹比尔1043.68536

Grieskamp，Wolfgang（编辑）等人，《综合形式方法》。2000年11月1日至3日，第二届国际会议，IFM 2000，德国达格斯图尔城堡。诉讼程序。柏林：施普林格出版社（ISBN 3-540-41196-8）。勒克特。注释计算。科学。1945, 1-2 (2000).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{T.霍尔}，莱克特。注释计算。科学。1945年，1-2（2000年；兹bl 1043.68536）
全文： 链接
C.A.R.霍尔。

编程理论：自上而下、自下而上、中间会合。 （英文） Zbl 0976.68110号

Jeannette M.Wing（编辑）等人，FM’99。形式化方法。计算系统开发中的形式化方法世界大会。1999年9月20日至24日，法国图卢兹。诉讼程序。在2卷中。柏林：施普林格出版社（ISBN 3-540-66587-0/vol1；3-540-665088-9/vol2）。勒克特。注释计算。科学。1708; 1709, 1-27 (1999).
审核人：Corneliu Bársan（华盛顿州贝尔武东南部）
MSC公司：68问题85 68-02 2010年第68季度 68号01
PDF格式BibTeX公司 XML格式引用
\textit{C.A.R.Hoare}，莱克特。注释计算。科学。1708年1月27日（1999年；Zbl 0976.68110）
C.A.R.霍尔。;何继峰

指针和对象的跟踪模型。 （英文） Zbl 0954.68045号

Broy，Manfred（编辑）等人，《计算系统设计》。1998年7月28日至8月9日，德国马克托伯多夫第19届国际暑期学校会议记录。阿姆斯特丹：IOS出版社。北约ASI系列。，序列号。F、 计算。系统。科学。3-23 (1999).
审核人：Hans Juergen Schneider（爱尔兰根）
MSC公司：第68页第19页 68第05页 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{C.A.R.Hoare}和\textit{J.He}，北约ASI Ser。，序列号。F、 计算。系统。科学。3--23、3--23（1999；Zbl 0954.68045）
你好，托尼;何继峰

统一并行编程理论。 （英文） Zbl 0996.68754号

Lengauer，Christian（编辑）等人，《1997年欧洲-巴黎并行处理》。1997年8月26日至29日在德国帕绍举行的第三届国际欧巴会议。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。1300, 15-30 (1997).
MSC公司：第68页第19页
PDF格式BibTeX公司 XML格式引用
\textit{T.Hoare}和\textit{J.He}，莱克特。注释计算。科学。1300，15--30（1997；Zbl 0996.68754）
C.A.R.霍尔。

统一的编程理论。 （英文） Zbl 0884.68011号

Broy，Manfred（编辑）等人，《程序开发中的数学方法》。《北约ASI会议记录》，德国马克托伯多夫，1996年7月30日至8月11日。柏林：斯普林格。北约ASI系列。，序列号。F、 计算。系统。科学。158, 313-367 (1997).
MSC公司：68号01
PDF格式BibTeX公司 XML格式引用
\textit{C.A.R.Hoare}，北约ASI Ser。，序列号。F、 计算。系统。科学。158313--367（1997年；Zbl 0884.68011）
C.A.R.霍尔。

计算科学的数学模型。 （英文） Zbl 0873.68056号

Broy，Manfred（编辑），演绎程序设计。1994年7月26日至8月7日，《北约高级研究所学报》，德国马克托伯多夫。柏林：斯普林格。北约ASI系列。，序列号。F、 计算。系统。科学。152, 115-164 (1996).
审核人：C.Meinel（提尔）
MSC公司：2005年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.A.R.Hoare}，北约ASI Ser。，序列号。F、 计算。系统。科学。152115-164（1996年；兹bl 0873.68056）
何继峰;C.A.R.霍尔。

编程语言的分类语义。 （英文） Zbl 1509.68035号

Main，M.（ed.）等人，《编程语义的数学基础》。第五届国际会议，1989年3月29日至4月1日，美国路易斯安那州新奥尔良。诉讼程序。柏林等：Springer-Verlag。勒克特。注释计算。科学。442, 402-417 (1990).
MSC公司：68甲15 18 C50 68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{H.Jifeng}和\textit{C.A.R.Hoare}，莱克特。注释计算。科学。442402--417（1990年；Zbl 1509.68035）
全文： 内政部
比约纳，迪内斯（编辑）;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欧洲第三次国际研讨会，德国联邦基尔，1990年4月17日至21日。诉讼程序。柏林等：Springer-Verlag（1990；Zbl 0746.68006）
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卷。与北约科学事务司合作出版。柏林等：Springer-Verlag。七、 415页。；134.00马克（1987年）。
MSC公司：00B25型 68-06
PDF格式BibTeX公司 XML格式

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件