Amir Pnueli: verschil tussen versies

12 bytes toegevoegd ,  14 jaar geleden
k
geen bewerkingssamenvatting
k (robot Erbij: es:Amir Pnueli)
k
[[Categorie:Israëlisch wetenschapper|Pnueli, Amir]]
[[Categorie:informaticus|Pnueli, Amir]]
[[Categorie:Israëlisch wiskundige|Pnueli, Amir]]
[[Categorie:Winnaar Turing Award|Pnueli, Amir]]
 
10.021

bewerkingen