Amir Pnueli: verschil tussen versies

28 bytes toegevoegd ,  10 jaar geleden
+{{Navigatie Turing Award}}
k (robot Erbij: cs:Amir Pnueli)
(+{{Navigatie Turing Award}})
* [http://www.wisdom.weizmann.ac.il/~amir/ Pnueli's Weizmann homepage]
}}
 
{{Navigatie Turing Award}}
 
{{commonscat|Amir Pnueli}}
35.601

bewerkingen