Butler, Michael.
概要
| 作品: | 3 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Methods, models and tools for fault tolerance
by:
Butler, Michael.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Abstract state machines, Alloy, B, TLA, VDM, and Z = 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018 : proceedings /
by:
Butler, Michael.; SpringerLink (Online service); ABZ (Conference) (2018 :)
(書目-電子資源)
The business of hacking = creating, developing, and maintaining an effective penetration testing team /
by:
Butler, Michael.; SpringerLink (Online service); Oakley, Jacob G.
(書目-電子資源)
Formal methods and software engineering = 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings /
by:
Butler, Michael.; Conchon, Sylvain.; Zaidi, Fatiha.; SpringerLink (Online service)
(書目-電子資源)
Integrated formal methods = Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings /
by:
Butler, Michael.; Petre, Luigia.; SpringerLink (Online service); International Conference on Integrated Formal Methods (2002 :); Sere, Kaisa.
(書目-語言資料,印刷品)
Abstract state machines, Alloy, B, TLA, VDM, and Z = 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016 : proceedings /
by:
Butler, Michael.; SpringerLink (Online service)
(書目-電子資源)
主題
Fault tolerance (Engineering)
Software Engineering.
Software engineering
Mathematical Logic and Formal Languages.
Computing Methodologies.
Machine theory
Logics and Meanings of Programs.
Penetration testing (Computer security)- Management.
Data and Information Security.
Computer Crime.
IT Risk Management.
Artificial Intelligence (incl. Robotics)
Operating Systems.
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Hacking.
Machine learning
Privacy.
Computer Science.
Computer Communication Networks.
Fault-tolerant computing.
Security Services.