ACM A. M. Turing Award

1996

说明时间中必须发生什么

语言与软件1996

插画肖像：阿米尔·普努埃利

说明时间中必须发生什么

时序逻辑为持续运行的系统提供了表达承诺的语言。

阿米尔·普努埃利

浏览所有年份 ↗