Amir Pnueli: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
k r2.7.1) (Robot: toegevoegd: bn:আমির নিউলি |
k Terugbrengen bronsjabloonvarianten |
||
Regel 10:
Pnueli was getrouwd, en laat drie kinderen en een kleinkind na. Hij overleed aan een [[hersenbloeding]].
{{Appendix|2=
* [http://www.wisdom.weizmann.ac.il/~amir/ Pnueli's Weizmann homepage]
}}
| |||