阿米尔·伯努利

0粉丝
阿米尔·伯努利(Amir Pnueli,1941年4月22日-2009年11月2日),出生于以色列,科学家。他致力于在计算机科学中引入时序逻辑的开创性