quinta-feira, 19 de novembro de 2009

Amir Pnueli, Pioneer of Temporal Logic, Dies at 68

Amir Pnueli, Pioneer of Temporal Logic, Dies at 68
Published: November 14, 2009
Amir Pnueli, who turned a philosopher's explorations of time, logic and free will into a critical technique for verifying the reliability of computers, died on Nov. 2 in Manhattan. He was 68. (leia mais)

Nenhum comentário:

Postar um comentário

Deixe seu comentário! Não uso verificação de palavras.

Receba as postagens deste blog por email