100th Anniversary Issue || Rest Is
- 期刊名称The American Journal of Nursing
- 作者Barbara W. Narrow
- 卷第100卷
- 期第10期
- 印刷ISSN0002-936X
- 文件大小5703.56KB
- 发表时间2000-10
- DOI10.2307/3522331
同作者推荐
Propositional dynamic logic of nonregular programsDavid Harel; Amir Pnueli; Jonathan Stavi · 1983
PrefaceAmir Pnueli; Joseph Sifakis · 1995
Reduced Functional Consistency of Uninterpreted FunctionsAmir Pnueli; Ofer Strichman · 2006
Monitoring Interfaces for FaultsAmir Pnueli; Aleksandr Zaks; Lenore Zuck · 2006
A compositional approach to verificationYonit Kesten; Amir Pnueli · 2005
A proof method for cyclic programsNissim Francez; Amir Pnueli · 1978
Backtracking in recursive computationsNissim Francez; Boris Klebansky; Amir Pnueli · 1977
Models for reactivityZohar Manna; Amir Pnueli · 1993