Amir Pnueli: verschil tussen versies

41 bytes toegevoegd ,  11 jaar geleden
geen bewerkingssamenvatting
(als ze nou die paginatitel correct hadden gespeld :()
Daarnaast heeft Pnueli ook twee [[technologie|technologie-bedrijfjes]] gestart.
 
Pnueli was getrouwd, en laat drie kinderen en een kleinkind na. Hij overleed aan een [[hersenbloeding]].
 
{{Bronnen|bronvermelding=
Anonieme gebruiker