Computer Assisted Reasoning: A Festschrift for Michael J. C. Gordon

Richard Boulton; Joe Hurd; Konrad Slind

首页> 外文期刊>Journal of Automated Reasoning >Computer Assisted Reasoning: A Festschrift for Michael J. C. Gordon

【24h】

Computer Assisted Reasoning: A Festschrift for Michael J. C. Gordon

机译：计算机辅助推理：Michael J. C. Gordon的致辞

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

Today's increasingly computer-based society is dependent on the correctness and reliability of crucial infrastructure, such as programming languages, compilers, networks, and microprocessors. One important way to achieve the required level of assurance is to use formal specification and proof, and tool support for this approach has steadily grown to the point where the specification and verification of important system infrastructure is now feasible.

机译：当今，越来越多的基于计算机的社会依赖于关键基础结构（例如编程语言，编译器，网络和微处理器）的正确性和可靠性。达到要求的保证水平的一种重要方法是使用正式的规范和证明，并且对该方法的工具支持已稳步增长到重要的系统基础结构的规范和验证现在可行的地步。

著录项

来源
《Journal of Automated Reasoning》 |2009年第3期|237-242|共6页
作者
Richard Boulton; Joe Hurd; Konrad Slind;
展开▼
作者单位

Icera Inc., 2520 The Quadrant, Aztec West, Bristol, BS32 4AQ, UK;

Galois, Inc., 421 S.W. 6th Ave., Ste. 300, Portland, OR 97204, USA;

Rockwell Collins Advanced Technology Center, 400 Collins Road, N.E. Cedar Rapids, 1A 52498, USA;

展开▼
收录信息美国《科学引文索引》(SCI);美国《工程索引》(EI);
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. ESSAYS IN SURGERY. Presented to Dr W.E. Gallie on the occasion of his retirement from the Chair of Surgery in the University of Toronto. With contributions by C. H. Best, A. B. Le Mesurier, H. M. Coleman, J.H. Couch, G. R. Walker, H. S. Coulthard, W.G. Carscadden, G. M. Dale, J. A. Dickson, A. W. Farmer, J. C. Boileau Grant, C. G Smith, D. R. Mitchell, S. J. Shane, W. T. Mustard, J. E. Batemnan, R. V. B. Shier, A. W. M. White, C. W. Harris, H. Wookey, F. R. Wilkinson, S. A. Thomson, R. V. B. Wansbrough, F. Turnbull, G. E. Richards, R. M. Janes, V, Peters, C. Ash, S. Gordon, A. Ham, F. G. Kergin, J. W. Ross, K. G. McKenzie, w. D. Stevenson, J. Gray, R. C. Laird, W. Boyd, G. E. Wilson, R. I. Harris, R. R. Graham, W. R. Campbell, W. L. Robinson, J. D. Mills, C. H. Watson, D. W. Pratt, J. L. McDonald, J. C. McClelland, K. H. Davis, E. Massig, E. B. Tovee, L. R. Dragstedt, W. K. Welsh, l, Macdonald, R. Pearse, R. A. McComb, N. C. Delarue, H. G. Armstrong, C. Aberhart, 9x6 in. Pp. xxiv -584, [J] . Reginald Watson-Jones The Journal of Bone and Joint Surgery. British VolumecBritish Orthopaedic Association , Australian Orthopaedic Association , Canadian Orthopaedic Association . . . [et al] . 1951,第3期

机译：手术中的散文。呈现给W.E博士。 Gallie在他从多伦多大学的手术主席退休的情况下。随着C. H. Best的贡献，A. B.Le Mesurier，H. M. Coleman，J.H。沙发，GR Walker，HS Coulthard，WG Carscadden，GM Dale，Ja Days，AW Farmer，JC Booteau Grant，C. G Smith，Mitchell，SJ Shane，WT Mustard，Je Batemnan，Rvb Shier，AWM White，CW Harris， H. Wookey，FR Wilkinson，Sa Thomson，Rvb Wansbrough，F. Turnbull，Ge Richards，RM Janes，V，Peters，C. Ash，S. Gordon，A. Ham，FG Kergin，JW Ross，KG McKenzie，W。 D. Stevenson，J. Gray，RC莱尔德，W. Boyd，Ge Wilson，Ri Harris，RR Graham，WR Campbell，WL Robinson，JD Mills，CH Watson，DW Pratt，JL McDonald，JC McClelland，Kh Davis，E。 Massig，EB ayvee，LR Dragstedt，WK Welsh，L，麦克唐纳，R. Parse，Ra McComb，NC Desarue，HG Armstrong，C. Aberhart，9x6。PP。 xxiv -584，
2. ESSAYS IN SURGERY. Presented to Dr W.E. Gallie on the occasion of his retirement from the Chair of Surgery in the University of Toronto. With contributions by C. H. Best, A. B. Le Mesurier, H. M. Coleman, J.H. Couch, G. R. Walker, H. S. Coulthard, W.G. Carscadden, G. M. Dale, J. A. Dickson, A. W. Farmer, J. C. Boileau Grant, C. G Smith, D. R. Mitchell, S. J. Shane, W. T. Mustard, J. E. Batemnan, R. V. B. Shier, A. W. M. White, C. W. Harris, H. Wookey, F. R. Wilkinson, S. A. Thomson, R. V. B. Wansbrough, F. Turnbull, G. E. Richards, R. M. Janes, V, Peters, C. Ash, S. Gordon, A. Ham, F. G. Kergin, J. W. Ross, K. G. McKenzie, w. D. Stevenson, J. Gray, R. C. Laird, W. Boyd, G. E. Wilson, R. I. Harris, R. R. Graham, W. R. Campbell, W. L. Robinson, J. D. Mills, C. H. Watson, D. W. Pratt, J. L. McDonald, J. C. McClelland, K. H. Davis, E. Massig, E. B. Tovee, L. R. Dragstedt, W. K. Welsh, l, Macdonald, R. Pearse, R. A. McComb, N. C. Delarue, H. G. Armstrong, C. Aberhart, 9x6 in. Pp. xxiv -584, [J] . Reginald Watson-Jones The Journal of Bone and Joint Surgery. British VolumecBritish Orthopaedic Association , Australian Orthopaedic Association , Canadian Orthopaedic Association . . . [et al] . 1951,第3期

机译：手术中的散文。呈现给W.E博士。 Gallie在他从多伦多大学的手术主席退休的情况下。随着C. H. Best的贡献，A. B.Le Mesurier，H. M. Coleman，J.H。沙发，GR Walker，HS Coulthard，WG Carscadden，GM Dale，Ja Days，AW Farmer，JC Booteau Grant，C. G Smith，Mitchell，SJ Shane，WT Mustard，Je Batemnan，Rvb Shier，AWM White，CW Harris， H. Wookey，FR Wilkinson，Sa Thomson，Rvb Wansbrough，F. Turnbull，Ge Richards，RM Janes，V，Peters，C. Ash，S. Gordon，A. Ham，FG Kergin，JW Ross，KG McKenzie，W。 D. Stevenson，J. Gray，RC莱尔德，W. Boyd，Ge Wilson，Ri Harris，RR Graham，WR Campbell，WL Robinson，JD Mills，CH Watson，DW Pratt，JL McDonald，JC McClelland，Kh Davis，E。 Massig，EB ayvee，LR Dragstedt，WK Welsh，L，麦克唐纳，R. Parse，Ra McComb，NC Desarue，HG Armstrong，C. Aberhart，9x6。PP。 xxiv -584，
3. ESSAYS IN SURGERY. Presented to Dr W.E. Gallie on the occasion of his retirement from the Chair of Surgery in the University of Toronto. With contributions by C. H. Best, A. B. Le Mesurier, H. M. Coleman, J.H. Couch, G. R. Walker, H. S. Coulthard, W.G. Carscadden, G. M. Dale, J. A. Dickson, A. W. Farmer, J. C. Boileau Grant, C. G Smith, D. R. Mitchell, S. J. Shane, W. T. Mustard, J. E. Batemnan, R. V. B. Shier, A. W. M. White, C. W. Harris, H. Wookey, F. R. Wilkinson, S. A. Thomson, R. V. B. Wansbrough, F. Turnbull, G. E. Richards, R. M. Janes, V, Peters, C. Ash, S. Gordon, A. Ham, F. G. Kergin, J. W. Ross, K. G. McKenzie, w. D. Stevenson, J. Gray, R. C. Laird, W. Boyd, G. E. Wilson, R. I. Harris, R. R. Graham, W. R. Campbell, W. L. Robinson, J. D. Mills, C. H. Watson, D. W. Pratt, J. L. McDonald, J. C. McClelland, K. H. Davis, E. Massig, E. B. Tovee, L. R. Dragstedt, W. K. Welsh, l, Macdonald, R. Pearse, R. A. McComb, N. C. Delarue, H. G. Armstrong, C. Aberhart, 9x6 in. Pp. xxiv -584, [J] . Reginald Watson-Jones The Journal of Bone and Joint Surgery. British VolumecBritish Orthopaedic Association , Australian Orthopaedic Association , Canadian Orthopaedic Association . . . [et al] . 1951,第3期

机译：手术中的散文。呈现给W.E博士。 Gallie在他从多伦多大学的手术主席退休的情况下。随着C. H. Best的贡献，A. B.Le Mesurier，H. M. Coleman，J.H。沙发，GR Walker，HS Coulthard，WG Carscadden，GM Dale，Ja Days，AW Farmer，JC Booteau Grant，C. G Smith，Mitchell，SJ Shane，WT Mustard，Je Batemnan，Rvb Shier，AWM White，CW Harris， H. Wookey，FR Wilkinson，Sa Thomson，Rvb Wansbrough，F. Turnbull，Ge Richards，RM Janes，V，Peters，C. Ash，S. Gordon，A. Ham，FG Kergin，JW Ross，KG McKenzie，W。 D. Stevenson，J. Gray，RC莱尔德，W. Boyd，Ge Wilson，Ri Harris，RR Graham，WR Campbell，WL Robinson，JD Mills，CH Watson，DW Pratt，JL McDonald，JC McClelland，Kh Davis，E。 Massig，EB ayvee，LR Dragstedt，WK Welsh，L，麦克唐纳，R. Parse，Ra McComb，NC Desarue，HG Armstrong，C. Aberhart，9x6。PP。 xxiv -584，
4. An Approach for Computer Experiment Based Robust Design D. J. Li; X. Liu; N. Soderborg; A. Sudjianto; M. Vora; S. C. Wang [C] . Ford Motor Company ISSAT international conference on reliability and quality in design . 1999

机译：基于计算机实验的方法D. J. Li; X. Liu; N. Soderborg; A. Sudjianto; M. Vora; S. C.王
5. A critical analysis of Gordon's music learning theory and Elliott's philosophy of music education from the perspectives of social constructionism and critical pedagogy (Edwin E. Gordon, David J. Elliott). [D] . Berns, John Micheal. 2000

机译：从社会建构主义和批判教育学的角度对戈登的音乐学习理论和艾略特的音乐教育哲学进行批判性分析（埃德温·E·戈登，戴维·J·埃利奥特）。
6. A celebration of mechanics: from nano to macro. The J. Michael T. Thompson Festschrift issue [O] . Isaac Elishakoff -1

机译：庆祝力学：从纳米到宏观。 J.Michael T.Thompson Festschrift问题
7. Non-Roman font generation via interactive computer graphics / James C. Artero, and Michael J. Zyda. [O] . Zyda Michael J., Artero James Claude 1986

机译：通过交互式计算机图形生成非罗马字体/ James C. Artero和Michael J. Zyda。

相关主题

Computer Assisted Reasoning: A Festschrift for Michael J. C. Gordon

摘要

著录项

相似文献

相关主题

期刊订阅