אמיר פנואלי (Q92649)
קפיצה לניווט
קפיצה לחיפוש
מדען ישראלי, פרופסור מן המניין בתחומי המתמטיקה ומדעי המחשב, חתן פרס ישראל ופרס טיורינג
שפה | תווית | תיאור | ידוע גם בשם |
---|---|---|---|
עברית | אמיר פנואלי |
מדען ישראלי, פרופסור מן המניין בתחומי המתמטיקה ומדעי המחשב, חתן פרס ישראל ופרס טיורינג |
|
אנגלית | Amir Pnueli |
Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems |
קביעוֹת
אמיר פנואלי (עברית)
0 הפניות למקורות
2 בנובמבר 2009
2 הפניות למקורות
הפניה אחת למקור
הפניה אחת למקור
הפניה אחת למקור
3 בדצמבר 2007
2007
3 בדצמבר 2007
For contributions to program and system verification (אנגלית)
13 בפברואר 1998
הפניה אחת למקור
2
0 הפניות למקורות
Amir Pnueli
0 הפניות למקורות
מזהים
קישורי אתר
ויקיפדיה(28 רשומות)
- 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 阿米尔·伯努利
ויקיספר(0 רשומות)
ויקיחדשות(0 רשומות)
ויקיציטוט(0 רשומות)
ויקיטקסט(0 רשומות)
ויקיברסיטה(0 רשומות)
ויקימסע(0 רשומות)
ויקימילון(0 רשומות)
אתרים אחרים(רשומה אחת)
- commonswiki Category:Amir Pnueli