Discussion on the ideal of program-correctness by Tony Hoare

机译：托尼·霍尔（Tony Hoare）讨论程序正确性的理想

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Josephs M. B.; Jones C.; Jackson M.; Turner A.; Holcombe M.; Sharman G.; Luo Z. H.; Lloyd M.; Haworth Guy McCrossan; Tully C.; Crocker D.;
展开▼
作者单位

展开▼
年度 2007
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Discussion on The Ideal of Program Correctness: Responses from Tony Hoare [J] . The Computer journal . 2007,第3期

机译：讨论程序正确性的理想：Tony Hoare的回应
2. From mathematical logic to programming-language semantics: a discussion with Tony Hoare [J] . Daylight Edgar G. Journal of logic and computation . 2015,第4期

机译：从数学逻辑到编程语言语义：与Tony Hoare的讨论
3. Discussion of “Decision-usefulness of ideal cost- and ideal value accounting for valuation and stewardship” [J] . Prof. Dr. Dr. h.c. Alfred Wagenhofer Zeitschrift für Betriebswirtschaft . 2012,第s5期

机译：讨论“用于评估和管理的理想成本和理想价值决策的决策效用”
4. A Discussion on Xi Jinping's Talks on Young People's Ideals and Beliefs [C] . Shao Ding, Sun Yifang International Conference on Social Science and Education Reform . 2018

机译：浅谈Xi Jinping对年轻人理想和信仰的谈话
5. STUDENTS' PATTERNS OF THINKING IN TEACHER-LED LARGE GROUP DISCUSSIONS ANDSTUDENT-LED SMALL GROUP DISCUSSIONS OF LITERATURE [D] . HAUGHT, EVELYN HUNT -1

机译：教师的大小组讨论思维模式和学生的小小组讨论思维模式
6. Perceptions of an Ideal Point-of-Care Test for Sexually Transmitted Infections – A Qualitative Study of Focus Group Discussions with Medical Providers [O] . Yu-Hsiang Hsieh, M. Terry Hogan, Mathilda Barnes, 2010

机译：对性传播感染的理想护理点测试的看法–与医疗服务提供者进行的焦点小组讨论的定性研究
7. Discussion on The Ideal of Program Correctness by Tony Hoare [O] . 2007

机译：讨论Tony Hoare的计划正确性的理想

Discussion on the ideal of program-correctness by Tony Hoare

著录项

引文网络

相似文献

相关主题

期刊订阅