Michael Butler (12) (1967–)
Auteur de Rigorous Development of Complex Fault-Tolerant Systems
Pour les autres auteurs qui s'appellent Michael Butler, voyez la page de désambigüisation.
Œuvres de Michael Butler
FM 2011: Formal Methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011.… (2011) 2 exemplaires
Rigorous Development of Complex Fault-Tolerant Systems (2006) — Directeur de publication — 2 exemplaires
Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca… (2007) — Directeur de publication — 1 exemplaire
Étiqueté
Partage des connaissances
- Date de naissance
- 1967-05-25
- Sexe
- male
- Lieu de naissance
- Ireland
- Études
- Trinity College Dublin (BA ∙ Computer Science)
University of Oxford (M.Sc. ∙ Computation)
University of Oxford (D.Phil. ∙ Computation) - Professions
- professor (Computer Science ∙ University of Southampton ∙ UK)
Membres
Vous aimerez peut-être aussi
Auteurs associés
Statistiques
- Œuvres
- 3
- Membres
- 5
- Popularité
- #1,360,914
- ISBN
- 76
- Langues
- 3