首页> 外文期刊>Software Engineering, IEEE Transactions on >In Memoriam: Robin Milner and Amir Pnueli

【24h】

In Memoriam: Robin Milner and Amir Pnueli

机译：纪念影片：罗宾·米尔纳（Robin Milner）和阿米尔·普努利（Amir Pnueli）

获取原文

获取原文并翻译 | 示例

开具论文收录证明 >>

页面导航

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

著录项

来源
《Software Engineering, IEEE Transactions on》 |2010年第3期|p.305-305|共1页
作者
Nuseibeh Bashar;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Amir Pnueli A Gentle Giant: Lord of the φ's and the ψ's [J] . David Harel Formal Aspects of Computing . 2010,第6期

机译：Amir Pnueli温柔的巨人：φ和ψ的主宰
2. Remembering Amir Pnueli, a great scientist and a great friend (April 22,1941 - November 2,2009) [J] . Willem Paul de Roever Science of Computer Programming . 2010,第4期

机译：纪念一位伟大的科学家和一位好朋友Amir Pnueli（1941年4月22日-2009年11月2日）
3. Amir Pnueli: Ahead of His Time [J] . Leah Hoffmann Communications of the ACM . 2010,第1期

机译：阿米尔·普努利（Amir Pnueli）：超越时代
4. Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework In Memory of Amir Pnueli [C] . Benjamin Goldberg Static analysis . 2010

机译：记忆Amir Pnueli的TVOC框架中循环优化和软件流水线的翻译验证
5. Guidelines for the development of Milner Gardens and Woodlands, Qualicum Beach, British Columbia: Historic conservation at work. [D] . Mitchell, Meredith. 2002

机译：不列颠哥伦比亚省Qualicum海滩的米尔纳花园和林地开发指南：正在开展的历史保护工作。
6. Correction to: Hypofractionated Radiotherapy Is Superior to Conventional Fractionation in an Orthotopic Model of Anaplastic Thyroid Cancer by Oweida A Phan A Vancourt B Robin T Hararah MK Bhatia S Milner D Lennon S Pike L Raben D Haugen B Pozdeyev N Schweppe R and Karam SD. Thyroid 2018;28:739–747. DOI: 10.1089/thy.2017.0706 [O] . -1

机译：校正至：在变性甲状腺癌的原位模型中超分割放射治疗优于常规分割作者：Oweida APhan AVancourt BRobin THararah MKBhatia SMilner DLennon SPike LRaben D Haugen BPozdeyev NSchweppe R和Karam SD。甲状腺2018; 28：739–747。 DOI：10.1089 / thy.2017.0706
7. Remembering Amir Pnueli, a great scientist and a great friend (April 22, 1941–November 2, 2009) [O] . de Roever Willem Paul 2010

机译：纪念伟大的科学家和好朋友阿米尔·普努利（1941年4月22日至2009年11月2日）

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号