Amir Pnueli: verschil tussen versies

78 bytes toegevoegd ,  14 jaar geleden
geen bewerkingssamenvatting
k (-cat)
[[Categorie:Israëlisch informaticus|Pnueli, Amir]]
[[Categorie:Israëlisch wiskundige|Pnueli, Amir]]
[[Categorie:informaticus|Pnueli, Amir]]
[[Categorie:wiskundige|Pnueli, Amir]]
[[Categorie:Winnaar Turing Award|Pnueli, Amir]]
 
17.081

bewerkingen