▲ 阿米尔·伯努利 大大江小浪 popsite.cn 2026/01/16 阿米尔·伯努利（，1941年4月22日 - 2009年11月2日），以色列计算机科学家，1996年图灵奖得主，以表彰其在计算科学中引入时间逻辑的开创性工作以及在程序和系统验证方面的杰出贡献。… 讨论 登录后参与讨论 还没有评论，来说第一句吧。 大江小浪 的其他文章 记忆？记性？ 2026/09/17 爱德蒙·克拉克 2026/09/02 法兰西斯·艾伦 2026/08/25 彼得·诺尔 2026/08/12 架构优先还是安全稳定优先 2026/08/07
讨论
登录后参与讨论
还没有评论，来说第一句吧。