Versie van 6 aug 2005 22:02 bewerken Gidonb (overleg \| bijdragen) uitgebreid bevestigde gebruikers 25.090 bewerkingen lichte redactie ← Oudere bewerking		Versie van 13 nov 2005 13:23 bewerken ongedaan maken RobotTbc (overleg \| bijdragen) 45.449 bewerkingen k robot: geautomatiseerde vervanging (-(i\|I)srael +Israël) Nieuwere bewerking →
Regel 1: '''Amir Pnueli''' ([[22 April]] [[1941]], [[Nahalal]] in [[Israël]]) is een [[~~Israel~~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