Edmund M. ClarkeEdmund M. Clarke
Peu commune
Rareté : Peu commune
Un sujet un peu plus connu que la moyenne, lu et traduit au-delà de son pays.
La rareté suit la notoriété de l’article : ses lectures sur Wikipédia en français et en anglais sur un an, et le nombre de langues dans lesquelles il existe.
Ce qu’il faut savoir
- Classe
- Figure
- Domaine
- Sciences et techniques
- Coût en Savoir
- 3
- Influence
- 6
- Résistance
- 3
- Dans les collections
- Personne ne l’a encore tirée.
Ce qu’en dit Wikipédia
Edmund Melson Clarke, Jr. ( 27 juillet 1945 - 22 décembre 2020) est un informaticien universitaire connu pour ses contributions au model checking, une méthode de vérification de conceptions de logiciel et matériel. Il est titulaire de la chaire FORE Systems (en) en informatique à l'université Carnegie-Mellon.
Extrait de l’article « Edmund M. Clarke » de Wikipédia, sous licence CC BY-SA 4.0. Lire l’article sur Wikipédia
Image : Dennis Hamilton, CC BY 2.0, via Wikimedia Commons.
Ouvre des boosters gratuits et ajoute Edmund M. Clarke à ta collection.
Jouer gratuitement
