Amir Pnueli (Q92649)
Aller à la navigation
Aller à la recherche
informaticien israélien ayant obtenu les prix Turing et prix Israël.
| Langue | Libellé | Description | Également connu comme |
|---|---|---|---|
| français | Amir Pnueli |
informaticien israélien ayant obtenu les prix Turing et prix Israël. |
|
| anglais | Amir Pnueli |
Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems |
Déclarations
.jpg)
1 référence
אמיר פנואלי (hébreu)
0 référence
22 avril 1941
1 référence
2 novembre 2009
1 référence
3 décembre 2007
ACM Fellow anglais
ACM Fellow anglais
2007
3 décembre 2007
For contributions to program and system verification (anglais)
2
0 référence
Amir Pnueli
0 référence
Identifiants
1 référence
1 référence
1 référence
Amir Pnueli
William L. Hosch
0 référence
1 référence
28 octobre 2013
Liens de site
Wikipédia(28 entrées)
- arwiki أمير بنولي
- arzwiki امير بنولى
- azbwiki امیر پنوئلی
- bnwiki আমির নিউলি
- cawiki Amir Pnueli
- cswiki Amir Pnueli
- dewiki Amir Pnueli
- enwiki Amir Pnueli
- eowiki Amir Pnueli
- eswiki Amir Pnueli
- fawiki امیر پنوئلی
- frwiki Amir Pnueli
- hewiki אמיר פנואלי
- idwiki Amir Pnueli
- itwiki Amir Pnueli
- jawiki アミール・プヌーリ
- mgwiki Amir Pnueli
- nlwiki Amir Pnueli
- plwiki Amir Pnueli
- ptwiki Amir Pnueli
- rowiki Amir Pnueli
- ruwiki Пнуэли, Амир
- shwiki Amir Pnueli
- skwiki Amir Pnueli
- srwiki Амир Пнуели
- trwiki Amir Pnueli
- ukwiki Амір Пнуелі
- zhwiki 阿米尔·伯努利
Wikilivres(0 entrée)
Wikinews(0 entrée)
Wikiquote(0 entrée)
Wikisource(0 entrée)
Wikiversité(0 entrée)
Wikivoyage(0 entrée)
Wiktionnaire(0 entrée)
Autres sites(1 entrée)
- commonswiki Category:Amir Pnueli