Prix Turing 1980
C
Prix Turing
·
1980
Charles Antony Richard Hoare
informaticien britannique
Domaines d'étude
informatique
sciences de l'information
Travaux récompensés
Communicating sequential processes
Logique de Hoare
NULL
tri rapide
Pays
Royaume-Uni