Versie van 31 okt 2009 16:01 (bewerken) Luckas-bot (overleg \| bijdragen) k (robot Erbij: pt:Amir Pnueli) ← Oudere bewerking		Versie van 4 nov 2009 10:21 (bewerken) (ongedaan maken) Februari (overleg \| bijdragen) Nieuwere bewerking →
[[Bestand:Amir Pnueli.jpg\|thumb\|upright\|Amir Pnueli]] '''Amir Pnueli''' ([[Nahalal]], [[22 april]] [[1941]] -[[New York City]], [[2 november ]][[2009]]) iswas een [[Israël]]isch [[informaticus]] en [[wiskundige]]. Gedurende zijn loopbaan heeft hij veel onderzoek gedaan naar [[temporele logica]] en in [[1996]] ontving hij de [[Turing Award]] voor :''[B]eslissend werk aan de introductie van temporele logica in de [[informatica]] en voor buitengewone bijdragen aan de verificatie van [[computerprogramma\|programma's]] en systemen.''

Amir Pnueli: verschil tussen versies

Amir Pnueli (bewerken)