Butler, Michael, 1967-
Butler, Michael, 19..-...., enseignant en informatique
Butler, Michael (tłumacz).
Butler, Michael, informaticien
Butler, M.
Michael Butler britský počítačový odborník
VIAF ID: 85189249 ( Personal )
Permalink: http://viaf.org/viaf/85189249
Preferred Forms
-
- 100 1 _ ‡a Butler, M.
-
- 100 1 _ ‡a Butler, Michael ‡d 1967-
-
-
-
- 100 1 _ ‡a Butler, Michael, ‡d 19..-...., ‡c enseignant en informatique
-
-
-
- 100 1 _ ‡a Butler, Michael, ‡d 1967-
- 100 1 _ ‡a Butler, Michael, ‡d 1967-
-
- 100 0 _ ‡a Michael Butler ‡c britský počítačový odborník
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings | |
Einführung in die Theorie der Gammafunktion | |
FM 2011 formal methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011 proceedings | |
Formal methods and software engineering proceedings | |
The gamma function / Emil Artin. - Mineola, New York, 2018. | |
ICFEM 2007 | |
IFM 2002 | |
Integrated formal methods Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings | |
Methods, models and tools for fault tolerance | |
REFT 2005 | |
Rigorous development of complex fault-tolerant systems | |
UML-B Specification for Proven Embedded Systems Design |