Amir Pnueli (Q92649)
Salta a la navegació
Salta a la cerca
Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems anglès
| Llengua | Etiqueta | Descripció | També conegut com a |
|---|---|---|---|
| català | Amir Pnueli |
Encara no s'ha definit cap descripció |
|
| anglès | Amir Pnueli |
Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems |
Declaracions
.jpg)
אמיר פנואלי (hebreu)
0 referències
22 abr 1941
1 referència
2 nov 2009
1 referència
2007
3 des 2007
For contributions to program and system verification (anglès)
13 feb 1998
2
0 referències
Amir Pnueli
0 referències
Identificadors
Enllaços de llocs
Viquipèdia(28 entrades)
- 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 阿米尔·伯努利
Viquillibres(0 entrades)
Viquinotícies(0 entrades)
Viquidites(0 entrades)
Viquitexts(0 entrades)
Viquiversitat(0 entrades)
Wikivoyage(0 entrades)
Viccionari(0 entrades)
Altres llocs(1 entrada)
- commonswiki Category:Amir Pnueli