时序逻辑领域的开拓者

(整期优先)网络出版时间:2009-12-22
/ 1
又一位图灵奖得主去世了,他是受人尊敬的时序逻辑领域大师艾米尔·伯努利(AmirPnueli)。今年11月2日,这位1996年度图灵奖得主因脑出血去世,享年68岁,只剩那些熠熠生辉的科技成就留给后人。