Amir Pnueli (Q92649)
Jump to navigation
Jump to search
Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Amir Pnueli |
Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems |
Statements
.jpg)
אמיר פנואלי (Hebrew)
0 references
22 April 1941
1 reference
1 reference
3 December 2007
2007
3 December 2007
For contributions to program and system verification (English)
2
0 references
Amir Pnueli
0 references
Identifiers
Sitelinks
Wikipedia(29 entries)
- 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
- gawiki 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 阿米尔·伯努利
Wikibooks(0 entries)
Wikinews(0 entries)
Wikiquote(0 entries)
Wikisource(0 entries)
Wikiversity(0 entries)
Wikivoyage(0 entries)
Wiktionary(0 entries)
Multilingual sites(1 entry)
- commonswiki Category:Amir Pnueli