Amir Pnueli: verschil tussen versies

12 bytes verwijderd ,  8 jaar geleden
k
Terugbrengen bronsjabloonvarianten
k (r2.7.1) (Robot: toegevoegd: bn:আমির নিউলি)
k (Terugbrengen bronsjabloonvarianten)
Pnueli was getrouwd, en laat drie kinderen en een kleinkind na. Hij overleed aan een [[hersenbloeding]].
 
{{Appendix|2=
{{Bronnen|bronvermelding=
* [http://www.wisdom.weizmann.ac.il/~amir/ Pnueli's Weizmann homepage]
}}
1.342.498

bewerkingen