Amir Pnueli: verschil tussen versies

1 byte toegevoegd ,  15 jaar geleden
cat verbeterd
k (lichte wikificatie)
(cat verbeterd)
[[Categorie:Informaticus|Pnueli, Amir]]
[[Categorie:Winnaar Turing Award|Pnueli, Amir]]
[[Categorie:IsrealischIsraëlisch persoon|Pnueli, Amir]]
 
[[en:Amir Pnueli]]
24.685

bewerkingen