Amir Pnueli: verschil tussen versies

Geen verandering in de grootte ,  14 jaar geleden
k
robot: geautomatiseerde vervanging (-([^:12][0-9]+) April +\1 april)
k (robot: geautomatiseerde vervanging (-(i|I)srael +Israël))
k (robot: geautomatiseerde vervanging (-([^:12][0-9]+) April +\1 april))
'''Amir Pnueli''' ([[22 Aprilapril]] [[1941]], [[Nahalal]] in [[Israël]]) is 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.''
45.449

bewerkingen