Zohar Manna
Zohar Manna (Haifa, 7 de janeiro de 1939 – 30 de agosto de 2018) foi um cientista da computação estadunidense. Foi professor da Universidade Stanford e autor de The Mathematical Theory of Computation (McGraw Hill, 1974; reimpressão Dover, 2003), um dos primeiros livros a conter cobertura extensiva dos conceitos matemáticos da programação de computadores.
Nº Q92814 ★★
Incomum · Personalidades
Zohar Manna
Zohar Manna (Haifa, 7 de janeiro de 1939 – 30 de agosto de 2018) foi um cientista da computação estadunidense. Foi professor da Universidade Stanford e autor de The Mathematical Theory of Computation (McGraw Hill, 1974; reimpressão Dover, 2003), um dos primeiros livros a conter cobertura extensiva dos conceitos matemáticos da programação de computadores.
Último preço
—
Preço mínimo
—
Mediana 7 d
—
Vendas 30 d
0
Faixa 30 d
—
Em circulação
0
Cotação
mediana
mín – máx
vendas
Sem vendas no período
Ver tabela
| Data | mediana | Mín | Máx | vendas |
|---|
Histórico de vendas
- Última venda
- —
- Média 30 d
- —
- Mínima 30 d
- —
- Máxima 30 d
- —
- Vendas 7 d
- 0
- Vendas 30 d
- 0
Ainda sem vendas.
Vendas anônimas: sem comprador nem vendedor. Os números contam só vendas entre jogadores.
Na Wikipédia
Zohar Manna (Haifa, 7 de janeiro de 1939 – 30 de agosto de 2018) foi um cientista da computação estadunidense. Foi professor da Universidade Stanford e autor de The Mathematical Theory of Computation (McGraw Hill, 1974; reimpressão Dover, 2003), um dos primeiros livros a conter cobertura extensiva dos conceitos matemáticos da programação de computadores. Com Amir Pnueli foi coautor de uma trilogia inacabada de livros texto sobre lógica temporal e verificação de sistemas reativos: The Temporal Logic of Reactive and Concurrent Systems: Specification (Springer-Verlag, 1991), The Temporal Logic of Reactive and Concurrent Systems: Safety (Springer-Verlag, 1995) e The Temporal Logic of Reactive and Concurrent Systems: Progress (não publicado; os três primeiros capítulos estão disponíveis em Manna/Pnueli: The Temporal Verification of Reactive Systems: Progress ).
Texto: Wikipédia, CC BY-SA 4.0. ·
Cartas próximas
-
Donald Knuth
Matemático e cientista da computação americano
Nº Q17457 ★★★
Sem ofertas
-
Yuri Manin
Professor académico alemão
Nº Q65196 ★★
Sem ofertas
-
Murray Gell-Mann
Escritor de não ficção de Estados Unidos
Nº Q172840 ★★★
Sem ofertas
-
Amir Pnueli
Nº Q92649 ★★★
Sem ofertas
-
Shou-Wu Zhang
Matemático chinês
Nº Q7502629 ★
Sem ofertas
-
Tamar Ziegler
Matemática israelita
Nº Q6635951 ★★★
Sem ofertas