Prix Turing 1980

C

Prix Turing · 1980

Charles Antony Richard Hoare

informaticien britannique

Domaines d'étude

sciences de l'informationinformatique

Travaux récompensés

tri rapideNULLCommunicating sequential processesLogique de Hoare

Pays

Royaume-Uni