简介
阿米尔·伯努利（AmirPnueli，1941年4月22日-2009年11月2日），出生于以色列，科学家。他致力于在计算机科学中引入时序逻辑的开创性的研究工作，因此被授予图灵奖。他的主要研究成果有《反应式系统和并发系统的时态逻辑：规约》《反应式系统的时态验证：安全》。... 更多
时光轴
里程碑1
LOG0
2023
2023-12
轻识收录
评价
0.0（满分 10 分）0 个评分
什么是点评分
全部评价(
0)
推荐率
100%