paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant pérenne de la notice : 10991323XCopier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Butler, Michael (19..-.... ; enseignant en informatique)

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)
Langue d'expression : anglais,allemand
Genre : Masculin

Notes

Note publique d'information : 
Traduit de l'allemand en anglais.

Note publique d'information : 
enseignant en informatique à l'Ecole d'électronique et d'informatique de l'Université de Southampton (Royaume-Uni) en 2011

Identifiants externes

Identifiant ZBMath : butler.michael-j
Identifiant VIAF : http://viaf.org/viaf/85189249
Identifiant ORCID : 0000-0003-4642-5373
Identifiant ISNI : 000000011476419X

Source

FM 2011 : formal methods, 17th international symposium on formal methods, Limerick, Ireland, June 20 - 24, 2011, proceedings / Michael Butler, Wolfram Schulte (eds.), cop. 2011

Internet, http://en.wikipedia.org/wiki/Michael_Butler_%28computer_scientist%29, 2011-10-10

Information trouvée : origines

Internet, http://users.ecs.soton.ac.uk/mjb/, 2011-10-10

Information trouvée : fonction

The Gamma function / Emil Artin, translated by Michael Butler, 1964.

... Références liées : ...