Category:Amir Pnueli
Salti al navigilo
Salti al serĉilo
israela komputikisto .jpg) | |||||
| Alŝuti plurmedion | |||||
| Nomo en denaska lingvo |
| ||||
|---|---|---|---|---|---|
| Naskiĝdato | la 22-a de aprilo 1941 Nahalal | ||||
| Mortdato | la 2-a de novembro 2009 Nov-Jorko | ||||
| Maniero de morto |
| ||||
| Mortokialo | |||||
| Ŝtataneco | |||||
| Lernejo | |||||
| Doktoriginto |
| ||||
| Doktorigito |
| ||||
| Okupo | |||||
| Dunginto | |||||
| Membro de |
| ||||
| Laborkampo | |||||
| Loko de agado | |||||
| Honorigo |
| ||||
| oficiala retejo | |||||
| |||||
 | |||||
English: Amir Pnueli (Hebrew: אמיר פנואלי; born 1941) is an Israeli computer scientist who received the Turing Award in 1996.
Dosieroj en kategorio “Amir Pnueli”
La jenaj 3 dosieroj estas en ĉi tiu kategorio, el 3 entute.
-
Amir Pnueli FLoC 2006 (cropped).jpg 375 × 400; 65 KB
-
Amir Pnueli FLoC 2006.jpg 640 × 432; 109 KB
-
Amir Pnueli.jpg 436 × 480; 34 KB
Kategorioj:
- Pnueli (surname)
- Amir (given name)
- 1941 births
- 2009 deaths
- Deaths from cerebral hemorrhage
- Israel Prize recipients
- Laureates of the Turing Award
- Fellows of the Association for Computing Machinery
- Computer scientists from Israel
- Programming language researchers
- Model checking (computer science)
- Formal methods people
- Deaths in New York City