Prix Turing 1980

C

Prix Turing·1980

Charles Antony Richard Hoare

informaticien britannique

Domaines d'étude

informatiquesciences de l'information

Travaux récompensés

Communicating sequential processesLogique de HoareNULLtri rapide

Pays

Royaume-Uni