Amir Pnueli (Q92649)
Ir a la navegación
Ir a la búsqueda
científico israelí
| Idioma | Etiqueta | Descripción | También conocido como |
|---|---|---|---|
| español | Amir Pnueli |
científico israelí |
|
| inglés | Amir Pnueli |
Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems |
Declaraciones
.jpg)
1 referencia
אמיר פנואלי (hebreo)
0 referencias
22 abr 1941
1 referencia
2 nov 2009
2007
3 dic 2007
For contributions to program and system verification (inglés)
2
0 referencias
Amir Pnueli
0 referencias
Identificadores
1 referencia
1 referencia
1 referencia
Enlaces a sitios
Wikipedia(28 entradas)
- 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 阿米尔·伯努利
Wikilibros(0 entradas)
Wikinoticias(0 entradas)
Wikiquote(0 entradas)
Wikisource(0 entradas)
Wikiversidad(0 entradas)
Wikiviajes(0 entradas)
Wikcionario(0 entradas)
Otros sitios(1 entrada)
- commonswiki Category:Amir Pnueli